Theorem Submodule.coe_toConvexCone

Modification history