Theorem Grp_Class.lift_inv_comp_right

Modification history