Theorem Submodule.closedComplemented_iff_isClosed_exists_isClosed_isCompl

Modification history