mathlib3
refactor(analysis/calculus/fderiv): use right actions instead of .smul_right for multiplication
#17802
Open
Open