Theorem Matrix.ofArray_ofFn

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) …
Modified Matrix.ofArray_ofFnView on Github →
2026-07-24 12:38
Mathlib/LinearAlgebra/Matrix/Defs.lean
feat(Tactic/NormDet): change norm_det simproc to work with Matrix.det (#42059) …
Added Matrix.ofArray_ofFnView on Github →