Theorem SlashAction.sub_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 SlashAction.sub_slash View on Github →