Theorem Submodule.orthogonal_le_orthogonal_iff

Modification history