Theorem Fin.rev_lt_iff

Modification history

2025-01-22 02:01

Mathlib/Data/Fin/Basic.lean

chore(Data/Fin/Basic): split off `rev` lemmas (#20833) …

Modified Fin.rev_lt_iff View on Github →

2024-02-07 04:38

Mathlib/Data/Fin/Basic.lean

feat(Data/Fin/Basic): Rename and extend *_above and _below lemmas (#10163) …

Added Fin.rev_lt_iff View on Github →