change tfr1,2,3 to use well-founded recursion, begin fixups on Replacement-free tfrs
change tfr1,2,3 to use well-founded recursion, begin fixups on Replacement-free tfrs

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