mathlib3

1fbdf771 - fix(linear_algebra/quadratic_form): nondegenerate -> anisotropic (#5050)

fix(linear_algebra/quadratic_form): nondegenerate -> anisotropic (#5050) I made a mistake by merging a PR that defined `nondegenerate` but should have used the terminology `anisotropic` instead.