Tychonoff's theorem (source code)

= Tychonoff's theorem
{wiki=Tychonoff's_theorem}