Mathlib v3 is deprecated. Go to Mathlib v4

Def fin.last_cases

Modification history

2021-08-26 16:48
src/data/fin.lean
feat(data/fin): reverse_induction (#8845)
Added fin.last_casesView on Github →