Theorem Module.isTorsionBySet_of_subset

Modification history