Commit 2024-07-17 20:56 595e6380
View on Github →feat: add orthogonalComplement_eq_orthogonalComplement (#14832)
Included a lemma that asserts that two vector submodules of a vector space in a `RClike field' are equal if and only if their orthogonal complements are equal