Def Module.End.Eigenvalues.val

Modification history

2024-10-07 14:27
Mathlib/LinearAlgebra/Eigenspace/Basic.lean
refactor(LinearAlgebra/Eigenspace): unified definition of (max(gen)?)?Eigenspace (#16025)
Deleted Module.End.Eigenvalues.valView on Github →
2023-06-15 06:12
Mathlib/LinearAlgebra/Eigenspace/Basic.lean
feat: port Analysis.InnerProductSpace.Spectrum (#5058) …
Added Module.End.Eigenvalues.valView on Github →