Theorem Fin.rev_zero_eq_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_zero_eq_topView on Github →