Theorem ModularForm.isZeroAtImInfty_of_valueAtInfty_eq_zero

Modification history

2026-04-24 08:11
Mathlib/NumberTheory/ModularForms/CuspFormSubmodule.lean
feat(NumberTheory/ModularForms): cusp form submodule of modular forms (#37978) …
Added ModularForm.isZeroAtImInfty_of_valueAtInfty_eq_zeroView on Github →