mathlib
5dfb76f5 - feat(analysis/calculus/fderiv): generalize `const_smul` lemmas (#9399)

Commit

4 years ago

feat(analysis/calculus/fderiv): generalize `const_smul` lemmas (#9399)

Author

urkud

urkud

Parents

Loading