Theorem PointedCone.dual_span

Modification history