Update mobid in iset.mm
Update mobid in iset.mm

- rename mobid to mobidh
- copy-paste mobid, mobidv, and mobii from set.mm (mobid is stated
  in terms of F/; the other two just differ in the proof).

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