Theorem Fin.eq_castSucc_or_eq_last

Modification history

2023-10-24 13:49
Mathlib/Data/Fin/Basic.lean
feat: add Fin.cons_mem_piFinset_iff (#6605) …
Added Fin.eq_castSucc_or_eq_lastView on Github →