Skip to content
Add "ready-to-merge" and "delegated" label from comment

[Merged by Bors] - feat(LinearAlgebra): nilpotent <-> charpoly = X ^ n #62574

Sign in to view logs

[Merged by Bors] - feat(LinearAlgebra): nilpotent <-> charpoly = X ^ n

[Merged by Bors] - feat(LinearAlgebra): nilpotent <-> charpoly = X ^ n #62574

This job was skipped