Theorem PointedCone.dual_union

Modification history