Theorem Submodule.torsionBy_isInternal

Modification history