mathlib3

46822d96 - feat(linear_algebra/matrix/dot_product): `dot_product_self_eq_zero` (#18783)