Intuitionize divconjdvds in iset.mm
Intuitionize divconjdvds in iset.mm

The statement of the theorem is unchanged. The proof is almost unchanged
but needs not equal changed to apart in one place.

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