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
Last modified: Tue Feb 1 14:33:02 GMT 2000