Theorem ConvexCone.Flat.pointed

Modification history