Theorem Submodule.toConvexCone_inf

Modification history