Theorem Module.isTorsionBySet_singleton_iff

Modification history