Theorem Submodule.pointed_toConvexCone

Modification history