mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(number_theory/modular_forms/congruence_subgroups): Add definition of congruence subgroups.

Open CBirkbeck opened this issue 3 years ago • 0 comments

This contains the definition of a congruence subgroup of SL(2,Z) and defines Gamma1, Gamma0 and full level subgroups. It also contains some basic results about them.

Open in Gitpod

CBirkbeck avatar Jul 06 '22 22:07 CBirkbeck