Theorem Grp_Class.lift_comp_inv_right

Modification history