Theorem ContDiffOn.locallyLipschitzOn

Modification history

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