Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-18 13:48 c3e489c4

View on Github →

chore(data/fin): add cast_add

Estimated changes

added def fin.cast_add
modified def fin.cast_le
modified def fin.cast_succ