Theorem Submodule.isTorsion'_powers_iff

Modification history