mathlib

57391993 - chore(linear_algebra/quadratic_form): make Sylvester's law of inertia bold in the doc string (#8610)