Theorem ModularGroup.im_lt_im_S_smul

Modification history