mathlib

a6b2f94a - refactor(linear_algebra/sesquilinear_form): Use similar definition as used in `bilinear_map` (#10443)