Theorem CongruenceSubgroup.exists_Gamma_le_conj

Modification history