mathlib3

4f23c9b9 - feat(number_theory/slash_actions): Slash actions class for modular forms (#15007)

feat(number_theory/slash_actions): Slash actions class for modular forms (#15007) We define a new class of slash actions which are to be used in the definition of modular forms (see #13250).