Theorem Submodule.torsion_isTorsion

Modification history