Skip to content

New lemmas: comp_idfunL, comp_idfunR. #380

New lemmas: comp_idfunL, comp_idfunR.

New lemmas: comp_idfunL, comp_idfunR. #380