mathlib

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