Theorem Grp_Class.lift_inv_left_eq

Modification history