mathlib3

f1b69a12 - feat(linear_algebra/quadratic_form): add nondegenerate_of_anisotropic (#6692)