Theorem Matrix.toArray_ofArray

Modification history

2026-10-20 14:09
Mathlib/LinearAlgebra/Matrix/Array.lean
feat(Tactic/Hessenberg): an algorithm that computes the characteristic polynomial of an Hessenberg matrix (#44431) …
Added Matrix.toArray_ofArrayView on Github →