Commit 2024-10-26 16:21 cc5969c1
View on Github →feat(Matrix): characteristic polynomial of upper triangular matrix (#17338) Add simple lemmas relating block triangular matrices with characteristic polynomials.
feat(Matrix): characteristic polynomial of upper triangular matrix (#17338) Add simple lemmas relating block triangular matrices with characteristic polynomials.