Theorem Submodule.le_orthogonal_orthogonal

Modification history