Theorem Nat.unpair_zero

Modification history

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