P
Initializing...
On a nonempty compact space $\Omega(f)\neq\emptyset$ · Prove2Me