Commit 2020-11-21 20:09 556a7255
View on Github →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.
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.