Theorem ModularForm.SL_slash

Modification history

2023-06-28 05:20

Mathlib/NumberTheory/ModularForms/SlashActions.lean

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

Added ModularForm.SL_slash View on Github →