mathlib

ef18740b - feat(linear_algebra/eigenspace): generalized eigenvectors span the entire space (#4111)