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.
Co-authored-by: Moritz Doll <doll@uni-bremen.de>
