Commit 2021-03-09 11:19 fa28a8c5
View on Github →feat(data/nat/parity): even/odd.mul_even/odd (#6584) Lemmas pertaining to the multiplication of even and odd natural numbers.
feat(data/nat/parity): even/odd.mul_even/odd (#6584) Lemmas pertaining to the multiplication of even and odd natural numbers.