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

added convex_hull_empty



Co-authored-by: YaelDillies <aef64c2b10aaee4bd1b6422c57104205a3c50e06@gmail.com>

leanprover-community/mathlib,leanprover-community/mathlib