mathlib

f6132e4d - feat(data/nat/parity): update to match int/parity (#7156)

feat(data/nat/parity): update to match int/parity (#7156) A couple of lemmas existed for `int` but not for `nat`, so I add them. I also tidy some lemmas I added in prior PRs and add a file-level docstring.