Theorem CongruenceSubgroup.Gamma0_det

Modification history

2024-10-31 13:42

Mathlib/NumberTheory/ModularForms/CongruenceSubgroups.lean

refactor (NumberTheory/ModularForms, Analysis/Complex/UpperHalfPlane) Refactor and clean up coercions (#18385) …

Deleted CongruenceSubgroup.Gamma0_det View on Github →

2024-07-09 18:31

Mathlib/NumberTheory/ModularForms/CongruenceSubgroups.lean

Congruence subgroup namespace (#14573) …

Added CongruenceSubgroup.Gamma0_det View on Github →