Theorem Submodule.mem_orthogonal

Modification history