Add enqdc to iset.mm
Add enqdc to iset.mm

This is saying that ~Q is decidable.

Also add dcbid which is analogous to dcbii .

Also add enqdc1 which is a slight variation of enqdc .

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