mathlib3

9d7a6645 - feat(algebra/parity + *): generalize lemmas about parity (#12761)

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.