Theorem Submodule.supIndep_torsionBy

Modification history