Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-14 12:02 cc1690e3

View on Github →

feat(analysis/calculus/parametric_integral): derivative of parametric integrals (#7437) from the sphere eversion project

Estimated changes