Theorem LinearEquiv.charpoly_conj

Modification history

2024-04-23 17:02

Mathlib/LinearAlgebra/Charpoly/ToMatrix.lean

chore(LinearAlgebra/Charpoly/ToMatrix): characteristic polynomials of isomorphic endomorphisms are equal (#12359)

Added LinearEquiv.charpoly_conj View on Github →