fderiv): use right actions instead of .smul_right for multiplication
#17802

Open

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

eric-wieser wants to merge 1 commit into master from eric-wieser/less-smul_right

refactor(analysis/calculus/fderiv): use right actions instead of .smu…

946dd921

eric-wieser added WIP

eric-wieser added RFC

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

WIP RFC too-late

Milestone

No milestone