Chapter13.md

Chapter 13 Exercises

Exercise 1

Define a function called nOrSuccnIsEven that states and proves that for all Nats n, either n is Even or n+1 is Even.

Answer