Def SlashInvariantForm.Simps.coe

Modification history

2025-12-07 16:03

Mathlib/NumberTheory/ModularForms/SlashInvariantForms.lean

feat(ModularForms): norm and trace maps (#32460) …

Added SlashInvariantForm.Simps.coe View on Github →