Theorem ModularGroup.g_eq_of_c_eq_one

Modification history