Theorem Subgroup.IsArithmetic.isCusp_iff_isCusp_SL2Z

Modification history

2025-09-13 14:08
Mathlib/NumberTheory/ModularForms/Cusps.lean
feat(NumberTheory/ModularForms): Cusps of subgroups acting on upper half-plane (#29327) …
Added Subgroup.IsArithmetic.isCusp_iff_isCusp_SL2ZView on Github →