Theorem Grp_.lift_inv_left_eq

Modification history