feat(analysis/convex): add dual cone (#7738)
feat(analysis/convex): add dual cone (#7738)

Add definition of the dual cone of a set in a real inner product space




leanprover-community/mathlib,leanprover-community/mathlib