Theorem Submodule.exists_isCompl

Modification history