Theorem Grp_.eq_lift_inv_right

Modification history