cont_diff): smoothness from Taylor series (#18768)

Commit

3 years ago

feat(analysis/calculus/cont_diff): smoothness from Taylor series (#18768) The proofs are basically trivial, but I think it is very nice to have the API.

Author

mcdoll

Parents

8cab1cd8

mathlib 0a0b3b41 - feat(analysis/calculus/cont_diff): smoothness from Taylor series (#18768)

mathlib
0a0b3b41 - feat(analysis/calculus/cont_diff): smoothness from Taylor series (#18768)