Theorem ConvexCone.pointed_iff_not_blunt

Modification history