Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-18 22:08 cb4a92e3

View on Github →

chore(algebra/ordered_ring): fix names, update to lean

Estimated changes

Modified algebra/ordered_ring.lean

Modified data/nat/pairing.lean

added theorem nat.unpair_le

modified theorem nat.unpair_lt

deleted theorem nat.unpair_lt_aux