Theorem ConvexCone.mem_zero

Modification history