Update 19.44 , 19.45 and eeor in iset.mm
Update 19.44 , 19.45 and eeor in iset.mm

Because these are currently unused in iset.mm we can copy over
the versions from set.mm. The changes are to use F/ to express
freeness.

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