Theorem Submodule.torsion'_torsion'_eq_top

Modification history