Mathlib v3 is deprecated. Go to Mathlib v4

Def fin.reverse_induction

Modification history

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