y,z no longer need be distinct for sbco2v
y,z no longer need be distinct for sbco2v

This is in iset.mm. The x,z distinct variable constraint is still there.

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