P
Initializing...
The open sets of the natural topology are exactly the verifiable sets · Prove2Me