Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-18 21:57 06e797b4

View on Github →

refactor(data/nat/pairing): improve proof readability in response to review comments on 0acdf1c

Estimated changes

modified theorem nat.unpair_lt