Induction notes

Taken from Audrey's set; formatting probably needs some work to be
standardized (e.g. cases for inductive proofs)