Theorem Submodule.torsion'_isTorsion'

Modification history