Locally compact Hausdorff semitopological group implies topological group
The result is attributed to Ellis, and was proved in a paper by Ellis in 1957.
StatementSuppose is a semitopological group
"[fact about" contains the "[" character as part of a property label and has been classified as invalid.whose underlying topological space is a locally compact Hausdorff space. Then, is in fact a topological group.