Mathlib v3 is deprecated. Go to Mathlib v4

Def fin.raise

Modification history

2018-10-17 13:50
data/fin.lean
chore(data/fin): use uniform names; restructure
Deleted fin.raiseView on Github →
2018-05-24 09:39
data/fin.lean
fix(data/fin): rename raise_fin -> fin.raise; simp lemmas for fin (#138)
Added fin.raiseView on Github →