mathlib

7455f47c - chore(linear_algebra/quadratic_form): speed up quadratic_form.lin_mul_lin (#9567)