Theorem ConvexCone.closure_eq

Modification history