P
Initializing...
The natural topology is T1 iff all possibilities are approximately verifiable · Prove2Me