P
Initializing...
The natural topology is second-countable · Prove2Me