mathlib
0c79da05 - feat(data/nat/pairing): basic bounds on `mkpair` (#15539)

Commit

3 years ago

feat(data/nat/pairing): basic bounds on `mkpair` (#15539) Needed for #15505.

Author

vihdzp

vihdzp

Parents

Loading