Intuitionize opabresid in iset.mm
Intuitionize opabresid in iset.mm

The only thing needed is to change dfid3 to df-id (the distinct
variable constraint is already satisfied).

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