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
feat(Analysis/Convex/Cone/Proper): define ProperCone.positive extending ConvexCone.positive (#6059)
Defines ProperCone.positive
extending ConvexCone.positive
.
Part of #6058