Theorem SL_reduction_mod_hom_val

Modification history

2024-10-31 13:42
Mathlib/NumberTheory/ModularForms/CongruenceSubgroups.lean
refactor (NumberTheory/ModularForms, Analysis/Complex/UpperHalfPlane) Refactor and clean up coercions (#18385) …
Modified SL_reduction_mod_hom_valView on Github →
2023-05-24 09:57
Mathlib/NumberTheory/ModularForms/CongruenceSubgroups.lean
feat: port NumberTheory.ModularForms.CongruenceSubgroups (#4296)
Added SL_reduction_mod_hom_valView on Github →