Theorem ModularForm.coe_eq_zero_iff

Modification history

2026-08-03 00:07
Mathlib/NumberTheory/ModularForms/Basic.lean
feat(NumberTheory): use `IsApply` for `ModularForm` etc (#41561) …
Deleted ModularForm.coe_eq_zero_iffView on Github →
2025-12-07 16:03
Mathlib/NumberTheory/ModularForms/Basic.lean
feat(ModularForms): norm and trace maps (#32460) …
Added ModularForm.coe_eq_zero_iffView on Github →