Theorem PointedCone.dual_zero

Modification history