mathlib

fc7daa36 - feat(data/nat/parity): addition/subtraction of even/odd nats (#5934)

feat(data/nat/parity): addition/subtraction of even/odd nats (#5934) Added various theorems pertaining to the addition and subtraction of even and odd natural numbers.