Commit 2024-05-29 09:53 b6cb80af
View on Github →feat(Analysis/Calculus/FDeriv/Mul): Add DifferentiableAt.finset_prod (#13281) Add results saying that if a finite sequence of function is differentiable then so is their product.
feat(Analysis/Calculus/FDeriv/Mul): Add DifferentiableAt.finset_prod (#13281) Add results saying that if a finite sequence of function is differentiable then so is their product.