Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin_succ_equiv_zero

Modification history

2021-01-14 15:25
src/data/equiv/fin.lean
chore(data/equiv/fin): simp definitional lemmas (#5740)
Added fin_succ_equiv_zeroView on Github →