[f]deriv): generalize product formula to product in normed algebras (#9163)

Commit

4 years ago

chore(analysis/calculus/[f]deriv): generalize product formula to product in normed algebras (#9163)

Author

ADedecker

Parents