Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-20 11:53 b4961da2

View on Github →

feat(analysis/calculus/{f,}deriv): generalize has_fderiv_at_filter.is_O_sub_rev (#10897) Also add has_deriv_at.is_O_sub_rev

Estimated changes