Def Module.End.Eigenvalues.val

Modification history

2023-06-15 06:12

Mathlib/LinearAlgebra/Eigenspace/Basic.lean

feat: port Analysis.InnerProductSpace.Spectrum (#5058) …

Added Module.End.Eigenvalues.val View on Github →