Add xorbi12d to iset.mm
Add xorbi12d to iset.mm

This is analogous to anbi12d and similar theorems for other
connectives. We also get xorbi1d and xorbi2d because those
are used in the proof of xorbi12d .

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