Theorem Submodule.exists_isTorsionBy

Modification history