Theorem Grp_Class.eq_lift_inv_right

Modification history