Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2019-08-19 17:09
92fa24cf
View on Github →
feat(data/fin): val simp lemmas (
#1347
)
feat(data/fin): val simp lemmas
Update fin.lean
Estimated changes
Modified
src/data/fin.lean
added
theorem
fin.cast_add_val
added
theorem
fin.cast_le_val
added
theorem
fin.cast_lt_cast_succ
added
theorem
fin.last_val