Theorem Submodule.torsionBySet_eq_torsionBySet_span

Modification history