Intuitionize cnvso in iset.mm
Intuitionize cnvso in iset.mm

Add a condition that A be inhabited and rename to cnvsom .
The proof is significantly rearranged from the cnvso proof because
of the differences between df-so and df-iso , but the same
basic concept works.

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