Theorem ConvexCone.pointed_zero

Modification history