Remove trichotomy theorems from iset.mm
Remove trichotomy theorems from iset.mm

This is sotric , sotrieq , and sotrieq2 . These clearly don't
hold given df-iso and intutionistic logic, and at least for now
there doesn't seem to be much of a replacement other than
sowlin .

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