case analysis via equality

• Next: a useful elim rule for equality
• Prev: the usual elim rule for equality
• index of these slides
• Conor's home page