Remove case elimination theorems
Remove case elimination theorems

None of these are valid intuitionistically, none of them are
currently used, and none of them are especially interesting
to illustrate the contrast between classical and intuitionistic
logic (since they are elaborated versions of more basic
case elimination theorems like pm2.61).

metamath/set.mm,metamath/set.mm,metamath/set.mm