Theorem ModularGroup.tendsto_abs_re_smul

Modification history