Theorem ModularForm.mul_slash_SL2

Modification history

2023-06-28 05:20

Mathlib/NumberTheory/ModularForms/SlashActions.lean

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

Added ModularForm.mul_slash_SL2 View on Github →