Theorem ConvexCone.salient_iff_not_flat

Modification history