Commit 2025-09-22 11:27 ac57c6ef

feat(NumberTheory/ModularForms): tweak def of slash-action (#29804) This PR adjusts the definition of the weight k slash action on modular forms to include an absolute-value sign, which makes some formulae slightly nicer later on. It also removes some junk accidentally left in the definition of a SlashAction. The definition originally required it to have some linearity property, which was removed in a PR several months ago; but the constructor still takes a useless extra type argument γ (originally, the ring that the action is linear over) which should have been removed in that PR but wasn't.