mathlib
41fa32b3 - feat(data/nat/pairing): add an `equiv` version of `nat.mkpair`/`nat.unpair` (#10520)
