Skip to content

feat(LinearAlgebra/Matrix/Charpoly/Coeff): generalize nonempty assump…

8396381
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

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

feat(LinearAlgebra/Matrix/Charpoly/Coeff): generalize nonempty assump…
8396381
Select commit
Loading
Failed to load commit list.