removed primitive expressions - they're not edifying and take up a large amount of space
removed primitive expressions - they're not edifying and take up a large amount of space

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