Theorem Module.isTorsionBySet_span_singleton_iff

Modification history