Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.cases_succ'

Modification history

2020-10-12 20:50
src/data/fin.lean
feta(data/fin): induction principle on fin (n + 1) (#4546)
Added fin.cases_succ'View on Github →