Def ModularForm.slash

Modification history

2023-06-28 05:20

Mathlib/NumberTheory/ModularForms/SlashActions.lean

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

Added ModularForm.slash View on Github →