Lecture 17

After the examlet, we did an example of an inductive proof of a claim involving labelled trees.