Theorem Fin.rev_top

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_topView on Github →