Theorem Submodule.orthogonal_le_iff_orthogonal_le

Modification history