the usual elim rule for equality

• Next: case analysis via equality
• Prev: induction with computation
• index of these slides
• Conor's home page