Theorem ConvexCone.to_orderedSMul

Modification history