Theorem PointedCone.dual_le_dual

Modification history