Hurewicz theorem

GPTKB entity