Commit 2023-07-24 10:54 7dfc12d3

View on Github →

feat(Analysis/Convex/Cone/Proper): define ProperCone.positive extending ConvexCone.positive (#6059) Defines ProperCone.positive extending ConvexCone.positive. Part of #6058

Estimated changes