Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-26 11:03 d2d6f178

View on Github →

feat(analysis/inner_product_space/spectrum): has_eigenvalue_eigenvalues (#12304) similar to the existing has_eigenvector_eigenvector_basis

Estimated changes