Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-03 08:10 a0cbe3be

View on Github →

feat(data/fin): add fin.clamp (#874)

Estimated changes

Modified src/data/fin.lean

modified def fin.cast

added theorem fin.cast_val

added def fin.clamp

added theorem fin.clamp_val