Theorem Submodule.le_orthogonal_iff_le_orthogonal

Modification history