mathlib

fb16dbc0 - feat(analysis/convex/cone): dual of a convex cone is closed (#15766)

feat(analysis/convex/cone): dual of a convex cone is closed (#15766) We prove that the dual of a convex cone is always closed. Part of #15637 Co-authored-by: Eric Wieser <wieser.eric@gmail.com>