Compactness conjecture for Nyikos inverse topological semigroups
Compactness conjecture. Every Nyikos inverse topological semigroup is compact.