Skip to content
Back to pull request #30231

[Merged by Bors] - feat(LinearAlgebra/Matrix/Charpoly): trace_eq_neg_charpoly_coeff using nextCoeff #94318

Sign in to view logs

[Merged by Bors] - feat(LinearAlgebra/Matrix/Charpoly): trace_eq_neg_charpoly_coeff using nextCoeff

[Merged by Bors] - feat(LinearAlgebra/Matrix/Charpoly): trace_eq_neg_charpoly_coeff using nextCoeff #94318

post-or-update-summary-comment

post-or-update-summary-comment
succeeded Oct 13, 2025 in 1m 10s