Theorem ConvexCone.salient_strictlyPositive

Modification history