Remove unixpid from iset.mm
Remove unixpid from iset.mm

The set.mm proof relies on case elimination. We could prove the
theorem for the case where A is inhabited, but it is lightly
used in set.mm so this can come later if we end up wanting it.

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