Commit 2022-07-15 10:49 4f23c9b9
View on Github →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).
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).