Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-08 18:07 741065bc

View on Github →

chore(data/equiv): using nat pairing

Estimated changes