Return to Revisions

This is indeed the Hewitt-Marczewski-Pondiczery theorem. My proof, following Engelking, is here. It's in fact not that hard, the fact for a product of copies of 2 point discrete spaces already implies the general theorem pretty quickly.