Theorem Nat.unpair_lt

Modification history

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