Theorem Nat.unpair_add_le

Modification history

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