Remove parentheses from citation in iset.mm
Remove parentheses from citation in iset.mm

As far as I could tell, this is our style. In any event, we should
be consistent with the other two citations of the same proposition
in iset.mm.

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