Theorem ModularGroup.T_mul_apply_one

Modification history