Commit 2026-08-31 20:31 1ed178f0
View on Github →feat(LinearAlgebra/SesquilinearForm): add basic lemmas for bilinear forms (#34487) Some file cleanup and adding minor lemmas. This is an extract from and in preparation for #43143.
feat(LinearAlgebra/SesquilinearForm): add basic lemmas for bilinear forms (#34487) Some file cleanup and adding minor lemmas. This is an extract from and in preparation for #43143.