Theorem ConvexCone.smul_mem_iff

Modification history