Theorem PointedCone.dual_eq_iInter_dual_singleton

Modification history