Commit 2023-05-22 17:11 75e7fca5
View on Github →feat(analysis/calculus/mean_value): functions are equal if their derivatives and a point are equal (#19059) And the version for equality within a convex set.
feat(analysis/calculus/mean_value): functions are equal if their derivatives and a point are equal (#19059) And the version for equality within a convex set.