mathlib

11f18015 - feat(linear_algebra/quadratic_form): add associated_eq_self_apply (#6458)