Theorem Grp_.lift_comp_inv_right

Modification history