Mathlib v3 is deprecated. Go to Mathlib v4

Def fin.induction

Modification history

2020-10-12 20:50

src/data/fin.lean

feta(data/fin): induction principle on fin (n + 1) (#4546)

Added fin.induction View on Github →