Theorem Grp_Class.lift_comp_inv_left

Modification history