mathlib3

276ab17f - feat(linear_algebra/bilinear_form): add lemmas (#10353)

feat(linear_algebra/bilinear_form): add lemmas (#10353) From FLT-regular. Co-authored-by: Eric Wieser <wieser.eric@gmail.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>