Theorem PointedCone.dual_singleton

Modification history