mathlib3

cd36773a - feat(linear_algebra/eigenspace): add generalized eigenspaces (#4015)

feat(linear_algebra/eigenspace): add generalized eigenspaces (#4015) Add the definition of generalized eigenspaces, eigenvectors and eigenvalues. Add some basic lemmas about them. Another step towards #3864.