Theorem ModularForm.mul_slash

Modification history

2023-06-28 05:20

Mathlib/NumberTheory/ModularForms/SlashActions.lean

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

Added ModularForm.mul_slash View on Github →