Theorem Submodule.torsionBySet_isTorsionBySet

Modification history