Skip to content

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

[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 #119591

Lint style

succeeded Oct 13, 2025 in 3m 52s