Mathlib v3 is deprecated. Go to Mathlib v4

Def star_convex

Modification history

2021-12-03 10:55

src/analysis/convex/star.lean

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

Added star_convex View on Github →