Theorem Submodule.ClosedComplemented.of_isCompl_isClosed

Modification history