2024-05-24 08:18
Mathlib/LinearAlgebra/BilinearForm/Orthogonal.lean
fix(LinearAlgebra/BilinearForm/Orthogonal): fix name of restrict_nondegenerate_of_isCompl_orthogonal (#13157) …
Added LinearMap.BilinForm.isCompl_orthogonal_of_restrict_nondegenerate