Theorem CongruenceSubgroup.mem_Gamma_one

Modification history