Theorem Submodule.iSup_torsionBySet_ideal_eq_torsionBySet_iInf

Modification history