Theorem Matrix.matrixOfPolynomials_isUpperTriangular

Modification history

2026-09-07 15:38
Mathlib/LinearAlgebra/Matrix/Block.lean
chore(Matrix/Block): update forgotten lemma/doc with "new" IsUpperTriangular (#43263)
Added Matrix.matrixOfPolynomials_isUpperTriangularView on Github →