mathlib
0860c415 - feat(data/nat/pairing): add some `nat.pair` lemmas (#8740)

Commit

4 years ago

feat(data/nat/pairing): add some `nat.pair` lemmas (#8740)

Author

kex-y

kex-y

Parents

Loading