Remove mpt2ndm0 from iset.mm
Remove mpt2ndm0 from iset.mm

Most of the uses are later in the file and of the first four
usages (which I spot-checked) all of them were using it for
case elimination or con1 .

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