Theorem Submodule.smul_coe_torsionBy

Modification history