Theorem LinearMap.BilinForm.finrank_orthogonal

Modification history

2024-05-30 08:17
Mathlib/LinearAlgebra/BilinearForm/Orthogonal.lean
chore(LinearAlgebra/BilinearForm/Orthogonal): add missing API lemmas (#13367) …
Added LinearMap.BilinForm.finrank_orthogonalView on Github →