Mathlib v3 is deprecated. Go to Mathlib v4

Theorem star_convex.segment_subset

Modification history

2021-12-03 10:55

src/analysis/convex/star.lean

feat(analysis/convex/star): Star-convex sets (#10524) …

Added star_convex.segment_subset View on Github →