mathlib3

1f002829 - docs(linear_algebra/sesquilinear_form): correct module docs (#2757)

docs(linear_algebra/sesquilinear_form): correct module docs (#2757) @PatrickMassot mentioned that the docs for `sesquilinear_form` mention bilinear forms instead in a few places. This PR corrects them to use "sesquilinear form" everywhere.