Commit 2022-03-16 05:24 1f1289fc
View on Github →feat(algebra/parity + data/{int, nat}/parity): parity lemmas for general semirings (#12718)
This PR proves some general facts about adding even/odd elements in a semiring, thus removing the need to proving the same results for nat
and int
.