Def certShear

Modification history

2026-10-20 14:09
MathlibTest/HessenbergSimilarity.lean
feat(Tactic/Hessenberg): an algorithm that computes the characteristic polynomial of an Hessenberg matrix (#44431) …
Deleted certShearView on Github →
2026-10-06 16:05
MathlibTest/HessenbergSimilarity.lean
feat(LinearAlgebra/Matrix): upper Hessenberg matrices and Hessenberg similarity certificates (#43840) …
Added certShearView on Github →