Regularity itself may be the problematic assumption for uncountable spaces, not the real-number rest...
This proposition has not been edited since the history system was added.