Theorem Fin.orderSucc_lt_iff

Modification history

2026-10-06 16:05
Mathlib/Order/SuccPred/Fin.lean
feat(LinearAlgebra/Matrix): upper Hessenberg matrices and Hessenberg similarity certificates (#43840) …
Added Fin.orderSucc_lt_iffView on Github →