Theorem Grp_.lift_inv_right_eq

Modification history