Theorem Grp_.lift_inv_comp_right

Modification history