Commit 2022-09-14 05:48 8b8cd99c

feat(analysis/calculus): Taylor's theorem (#15087) Proves Taylor's theorem for the mean value form of the remainder. There are four different versions: the general case for real-valued functions, the Lagrange form, the Cauchy form, and a version for vector valued functions.