feat(linear_algebra/quadratic_form): add associated_eq_self_apply (#6458)
feat(linear_algebra/quadratic_form): add associated_eq_self_apply (#6458)






leanprover-community/mathlib,leanprover-community/mathlib