Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-16 18:56 1263906f

View on Github →

chore(data/nat/pairing): add pp_nodot, fix some non-finalizing simps (#8705)

Estimated changes

modified def nat.mkpair
modified def nat.unpair