Commit 2024-04-23 17:02 b94f96cf

View on Github →

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

Estimated changes

modified theorem LinearMap.charpoly_prodMap