Theorem Fin.val_rev_zero

Modification history

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