Theorem ConvexCone.pointed_positive

Modification history