Theorem PointedCone.toConvexCone_injective

Modification history