Commit 2022-11-30 13:42 1c67b653
View on Github →chore(number_theory/modular_forms/slash_invariant_forms): deduplicate scalar actions (#17765) This will also avoid needing the same three actions downstream.
chore(number_theory/modular_forms/slash_invariant_forms): deduplicate scalar actions (#17765) This will also avoid needing the same three actions downstream.