Commit 2024-09-12 09:56 97fb6216
View on Github →chore: split Analysis.ContDiff.Defs into two files (#16720)
The first file contains everything about iterated derivatives and Taylor series, the second one introduces the predicates ContDiff and friends.
No statement added or erased, just moving around.