Theorem Submodule.closedComplemented_bot

Modification history