Theorem ModularForm.pow_slash

Modification history

2026-10-18 08:52

Mathlib/NumberTheory/ModularForms/SlashActions.lean

feat(ModularForms/SlashActions): more theorems for slash actions (sub,pow,zpow,inv) (#44356)

Added ModularForm.pow_slash View on Github →