Theorem ContDiffOn.exists_lipschitzOnWith

Modification history

2025-12-23 12:27
Mathlib/Analysis/Calculus/ContDiff/RCLike.lean
feat: add ContDiff.lipschitzOnWith (#30612) …
Added ContDiffOn.exists_lipschitzOnWithView on Github →