Theorem Fin.rev_eq_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_eq_iff View on Github →

2024-01-16 19:40

Mathlib/Data/Fin/Basic.lean

fix(Data/Fin/Basic): `castPred` consistency redefinition. (#9780) …

Added Fin.rev_eq_iff View on Github →