Remove notnotri and mt3 from iset.mm
Remove notnotri and mt3 from iset.mm

mt3 is not used and it doesn't really express any concept which
isn't covered by mto and notnot2dc.

notnotri is not used and notnot2dc expresses the idea well.

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