Theorem ModularForm.slash_def

Modification history

2023-06-28 05:20

Mathlib/NumberTheory/ModularForms/SlashActions.lean

feat: port NumberTheory.ModularForms.SlashActions (#5532)

Added ModularForm.slash_def View on Github →