Add dcbii and dcim to iset.mm
Add dcbii and dcim to iset.mm

These are two theorems which allow us to prove a proposition is decidable
based on other propositions which are decidable.

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