Theorem Grp_.eq_lift_inv_left

Modification history