taking Benoit's suggestion in mreexexd description, also adding unccur at GL's suggestion and citing fin2so
taking Benoit's suggestion in mreexexd description, also adding unccur at GL's suggestion and citing fin2so

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