Theorem Module.End.finite_hasEigenvalue

Modification history

2023-11-08 18:36
Mathlib/LinearAlgebra/Eigenspace/Minpoly.lean
feat: generalized eigenspaces are independent (#8177) …
Added Module.End.finite_hasEigenvalueView on Github →