Theorem Submodule.closedComplemented_top

Modification history