Theorem Submodule.torsionBy.mk_smul

Modification history