Commit 2024-03-30 07:23 9b795560

View on Github →

feat: when a function has a Taylor series, then its iterated derivative is given by the Taylor series (#11772) We already have the localized version to a set, but not the global version. Also rename the localized version to a better name.

Estimated changes