Theorem Fin.rev_last_eq_bot

Modification history

2024-06-26 15:37
Mathlib/Order/Fin.lean
feat(Data/Fin/Basic): Expand definition of `BoundedOrder` and `Lattice` for `Fin` (#9814) …
Added Fin.rev_last_eq_botView on Github →