Theorem lipschitzOnWith_closure_iff

Modification history

2025-12-23 12:27
Mathlib/Topology/Instances/ENNReal/Lemmas.lean
feat: add ContDiff.lipschitzOnWith (#30612) …
Added lipschitzOnWith_closure_iffView on Github →