mathlib3

599712ff - feat(data/int/parity, data/nat/parity): add some lemmas (#7624)