Theorem Fin.lt_last_iff_ne_last

Modification history

2024-05-30 11:57
Mathlib/Data/Fin/Basic.lean
chore: Delete `Data.Fin.OrderHom` (#13147) …
Added Fin.lt_last_iff_ne_lastView on Github →