Metamath Proof Explorer

Table of Contents - 20.43.13.1. Definitions and basic properties

  1. ceven
  2. codd
  3. df-even
  4. df-odd
  5. iseven
  6. isodd
  7. evenz
  8. oddz
  9. evendiv2z
  10. oddp1div2z
  11. oddm1div2z
  12. isodd2
  13. dfodd2
  14. dfodd6
  15. dfeven4
  16. evenm1odd
  17. evenp1odd
  18. oddp1eveni
  19. oddm1eveni
  20. evennodd
  21. oddneven
  22. enege
  23. onego
  24. m1expevenALTV
  25. m1expoddALTV