Mathlib v3 is deprecated. Go to Mathlib v4

Theorem exists_closed_cover_approximates_linear_on_of_has_fderiv_within_at

Modification history