Theorem Nat.surjective_unpair

Modification history

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