Theorem ModularForm.inv_slash_SL2

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.inv_slash_SL2 View on Github →