Theorem Submodule.smul_torsionBy

Modification history