Add Q^ω, as a better distinguishment of Erdős space#1144

StevenClontz merged 11 commits into

mainpi-base/data:mainfrom

countable-power-rationalspi-base/data:countable-power-rationalsCopy head branch name to clipboard