Theorem CongruenceSubgroup.finiteIndex_conjGL

Modification history