Mathlib Changelog
v4
Changelog
About
Github
Theorem
LinearMap.BilinForm.ext_iff_of_isSymm
Modification history
2025-07-26 21:20
Mathlib/LinearAlgebra/BilinearForm/Properties.lean
feat: api for symmetric bilinear forms (#26274) …
Added
LinearMap.BilinForm.ext_iff_of_isSymm
View on Github →