Theorem PointedCone.isClosed_dual

Modification history