Commit 2022-08-10 13:06 fb16dbc0
View on Github →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
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