Theorem Path.cast_segment

Modification history

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