Basics, Induction: Cleaned up the proofs. Proved the 5-star exercise with normalize.
Basics, Induction: Cleaned up the proofs. Proved the 5-star exercise with normalize. (Second try...)