Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-09 19:43 b39713fe

View on Github →

feat(analysis/calculus/darboux): IVT for derivatives (#2110)

  • feat(analysis/calculus/darboux): IVT for derivatives
  • whitespace Co-Authored-By: sgouezel [email protected]

Estimated changes