Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-05 02:18 74f52f1e

View on Github →

Expand and contract fin (#387)

Estimated changes

added def fin.nat_add
added def lower_left
added def lower_right
added def raise_nat