Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-23 10:59 d0f392e1

View on Github →

feat(analysis/calculus/inverse): a map which approximates a linear map on a set admits a nice global extension (#11568) And several other results on maps that are well approximated by linear maps on some subset of the space (not necessarily open).

Estimated changes