Theorem SlashAction.slash_eq_zero_iff

Modification history

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