Metamath Proof Explorer

Table of Contents - 20.43.13.2. Alternate definitions using the "divides" relation

1. dfeven2
2. dfodd3
3. iseven2
4. isodd3
5. 2dvdseven
6. m2even
7. 2ndvdsodd
8. 2dvdsoddp1
9. 2dvdsoddm1