Commit 2025-10-29 22:51 cad27452
View on Github →feat(Analysis/Calculus): add a version of bounding iterated derivatives of compositions with fewer assumptions on differentiability (#30180)
feat(Analysis/Calculus): add a version of bounding iterated derivatives of compositions with fewer assumptions on differentiability (#30180)