Intuitionize icossioo in iset.mm
Intuitionize icossioo in iset.mm

Modify the proof to change ixxss12 to ixxss12g and use brel
and related steps to satisfy the new conditions.

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