Theorem Grp_.lift_inv_comp_left

Modification history