Fix spacing in iset.mm
Fix spacing in iset.mm

The comma in these entries is not part of the theorem name so
there needs to be a space before it to avoid an error in
regen-from-raw .

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