Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-17 20:12 b2e7f40f

View on Github →

feat(analysis/convex/basic): convex hull and empty set (#7232) added convex_hull_empty

Estimated changes

added theorem convex_hull_empty
added theorem convex_hull_empty_iff