Theorem Submodule.orthogonalComplement_eq_orthogonalComplement

Modification history