Theorem Grp_Class.lift_inv_comp_left

Modification history