Theorem Path.range_segment

Modification history

2025-05-12 15:03
Mathlib/Analysis/Convex/PathConnected.lean
feat: define `Path.segment` (#24761) …
Added Path.range_segmentView on Github →