Theorem Grp_.lift_comp_inv_left

Modification history