Theorem Grp_.lift_left_mul_ext

Modification history