Theorem Submodule.toConvexCone_le_iff

Modification history