mathlib

969c6a3e - feat(data/int/parity): update to match nat/parity (where applicable) (#7155)

feat(data/int/parity): update to match nat/parity (where applicable) (#7155) We had a number of lemmas for `nat` but not for `int`, so I add them. I also globalize variables in the file and add a module docstring.