Theorem ConvexCone.coe_sInf

Modification history