Theorem Path.segment_add_segment

Modification history

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