Answers to quiz 8
Note: I will be using ">" to represent the horseshoe, "@" to represent the tiplebar, and "//" to represent the conclusion. There is more than one way of correctly proving these conclusions.
Return to Handouts.