Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.left_le_mkpair

Modification history

2021-06-13 06:04

src/data/nat/pairing.lean

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

Added nat.left_le_mkpair View on Github →