Theorem Submodule.torsionBySet_singleton_eq

Modification history