Theorem ModularGroup.T_inv_mul_apply_one

Modification history