Theorem Grp_Class.lift_left_mul_ext

Modification history