Tychonoff theorem

GPTKB entity