Def cusps_subMulAction

Modification history

2026-02-17 23:08
Mathlib/NumberTheory/ModularForms/Cusps.lean
chore: bump toolchain to v4.29.0-rc1 (#35459)
Deleted cusps_subMulActionView on Github →
2025-09-13 14:08
Mathlib/NumberTheory/ModularForms/Cusps.lean
feat(NumberTheory/ModularForms): Cusps of subgroups acting on upper half-plane (#29327) …
Added cusps_subMulActionView on Github →