Commit 2026-09-27 10:06 b63f6e8a
View on Github →chore(Analysis/Calculus): rename ApproximatesLinearOn.(anti)lipschitz (#44231) This PR renames
ApproximatesLinearOn.lipschitz-->ApproximatesLinearOn.lipschitzApproximatesLinearOn.antilipschitz-->ApproximatesLinearOn.antilipschitz