Intuitionize r19.28zv in iset.mm
Intuitionize r19.28zv in iset.mm

Rename to r19.28mv and change nonempty to inhabited.

The proof is essentially unchanged, just needs to refer to r19.3rmv .

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