Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.unpair_right_le

Modification history

2021-06-13 06:04

src/data/nat/pairing.lean

docs(data/nat/pairing): add module docstring (#7897)

Added nat.unpair_right_le View on Github →