Theorem ConvexCone.mem_strictlyPositive

Modification history