Def Nat.mkpair

Modification history

2023-03-28 23:28

Mathlib/Data/Nat/Pairing.lean

chore: rename `mkpair` → `pair` (#2324) …

Deleted Nat.mkpair View on Github →

2022-12-26 12:39

Mathlib/Data/Nat/Pairing.lean

feat: port data.nat.pairing (#1172) …

Added Nat.mkpair View on Github →