odd (#6584)

Commit

4 years ago

feat(data/nat/parity): even/odd.mul_even/odd (#6584) Lemmas pertaining to the multiplication of even and odd natural numbers.

Author

benjamindavidson

Parents