Commit 2024-02-19 08:49 a4fac96e
View on Github →feat(LinearAlgebra/Charpoly): the characteristic polynomial of a direct sum (#10663) ... is the product of the characteristic polynomials.
feat(LinearAlgebra/Charpoly): the characteristic polynomial of a direct sum (#10663) ... is the product of the characteristic polynomials.