Commit 2024-03-07 15:45 62be35de

View on Github →

feat: generalize some lemmas about iterated derivatives (#11213)

Estimated changes

modified theorem iteratedDerivWithin_neg'
modified theorem iteratedDerivWithin_neg