parity): lemmas about (-1)^n (#5056)

Commit

5 years ago

feat(data/nat/parity): lemmas about (-1)^n (#5056) I needed these twice recently, for two independent reasons, so I thought they were worth a PR.

Author

kbuzzard

Parents