Theorem Module.isTorsionBySet_iff_subset_annihilator

Modification history