Tychanoff's theorem

Last updated January 27, 2022

Statement

The infinite product of compact spaces is compact.

The truth of this fact is equivalent to the truth of the Axiom of Choice.