Def Nat.unpair

Modification history

2022-12-26 12:39
Mathlib/Data/Nat/Pairing.lean
feat: port data.nat.pairing (#1172) …
Added Nat.unpairView on Github →