Theorem PointedCone.dual_iUnion

Modification history