Commit 2022-03-17 08:18 9d7a6645
View on Github →feat(algebra/parity + *): generalize lemmas about parity (#12761) I moved more even/odd lemmas from nat/int to general semirings/rings. Some files that explicitly used the nat/int namespace were changed along the way.