Rename exdistrf to exdistrfor in iset.mm
Rename exdistrf to exdistrfor in iset.mm

This one apparently predates the convention that we rename
theorems if they do not match their set.mm counterparts.

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