Revise tfrlem9a for modified tfrlem3a in set.mm
Revise tfrlem9a for modified tfrlem3a in set.mm

The recent changes replaced tfrlem3 and tfrlem3a with versions
which handle distinct variables and variable changes differently.

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