Theorem LinearMap.charpoly_toMatrix

Modification history

2023-08-03 08:06
Mathlib/LinearAlgebra/Charpoly/ToMatrix.lean
chore(LinearAlgebra): remove `open Classical` (#6320) …
Modified LinearMap.charpoly_toMatrixView on Github →
2023-05-24 09:36
Mathlib/LinearAlgebra/Charpoly/ToMatrix.lean
feat: port LinearAlgebra.Charpoly.ToMatrix (#4295)
Added LinearMap.charpoly_toMatrixView on Github →