Theorem Grp_Class.lift_inv_right_eq

Modification history