Mathlib Changelog
v4
Changelog
About
Github
Theorem
SL_reduction_mod_hom_val
Modification history
2025-07-04 10:05
Mathlib/NumberTheory/ModularForms/CongruenceSubgroups.lean
chore: whitespace before `:` (#26727) …
Modified
SL_reduction_mod_hom_val
View on Github →
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_val
View on Github →
2023-05-24 09:57
Mathlib/NumberTheory/ModularForms/CongruenceSubgroups.lean
feat: port NumberTheory.ModularForms.CongruenceSubgroups (#4296)
Added
SL_reduction_mod_hom_val
View on Github →