Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-05-24 09:39 2c94668b

View on Github →

fix(data/fin): rename raise_fin -> fin.raise; simp lemmas for fin (#138)

Estimated changes

added theorem fin.pred_val
added def fin.raise
added theorem fin.succ_val
deleted def raise_fin