mathlib3

6ea4e9b1 - feat(linear_algebra/eigenspace): generalized eigenvalues are just eigenvalues (#7059)