Theorem Submodule.isClosed_orthogonal

Modification history