Add r19.32r and r19.32vr to iset.mm
Add r19.32r and r19.32vr to iset.mm

r19.32r is like 19.32r but for restricted quantification. The proof
is a little bit involved in that it does not invoke 19.32r but
instead proceeds similarly to the proof of 19.32r .

r19.32vr is the same thing with a distinct variable constraint
in place of a freeness hypothesis, and is a one line proof from
r19.32r .

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