Theorem LinearMap.BilinForm.ext_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_of_isSymmView on Github →