Theorem Submodule.torsionBy_one

Modification history