Mathlib Changelog
v4
Changelog
About
Github
Theorem
SL_reduction_mod_hom_val
Modification history
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 →