Document unbound variables are basically universal#4306

david-a-wheeler wants to merge 2 commits intodevelopmetamath/set.mm:developfrom

unbound_universalmetamath/set.mm:unbound_universalCopy head branch name to clipboard