mathlib documentation

linear_algebra.matrix.polynomial

Matrices of polynomials and polynomials of matrices #

In this file, we prove results about matrices over a polynomial ring. In particular, we give results about the polynomial given by det (t * I + A).

References #

Tags #

matrix determinant, polynomial