Theorem ModularForm.eq_const_of_weight_zero

Modification history

2025-12-07 16:03
Mathlib/NumberTheory/ModularForms/NormTrace.lean
feat(ModularForms): norm and trace maps (#32460) …
Added ModularForm.eq_const_of_weight_zeroView on Github →