Theorem Submodule.torsionBySet_isInternal

Modification history