Theorem Grp_Class.eq_lift_inv_left

Modification history