slash_invariant_forms): deduplicate scalar actions (#17765)

Commit

3 years ago

chore(number_theory/modular_forms/slash_invariant_forms): deduplicate scalar actions (#17765) This will also avoid needing the same three actions downstream.

Author

eric-wieser

Parents

ca95e36a

mathlib 1c67b653 - chore(number_theory/modular_forms/slash_invariant_forms): deduplicate scalar actions (#17765)

mathlib
1c67b653 - chore(number_theory/modular_forms/slash_invariant_forms): deduplicate scalar actions (#17765)