Commit 2026-10-18 08:52 278a6ffd

View on Github →

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

Estimated changes

added theorem ModularForm.inv_slash
added theorem ModularForm.pow_slash
added theorem ModularForm.zpow_slash
added theorem SlashAction.sub_slash