Mathlib v3 is deprecated. Go to Mathlib v4

Theorem star_convex_empty

Modification history

2021-12-03 10:55

src/analysis/convex/star.lean

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

Added star_convex_empty View on Github →