Theorem ApproximatesLinearOn.lipschitzWith_sub

Modification history

2026-09-27 10:06
Mathlib/Analysis/Calculus/InverseFunctionTheorem/ApproximatesLinearOn.lean
chore(Analysis/Calculus): rename ApproximatesLinearOn.(anti)lipschitz (#44231) …
Added ApproximatesLinearOn.lipschitzWith_subView on Github →