Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-22 07:37 5b55a869

View on Github →

chore(analysis/calculate/fderiv): move results about analytic functions to a new file (#9296) These are not necessary for many of the downstream files, so we can speed up compilation a bit by parallelising these.

Estimated changes