relative Hurewicz theorem

GPTKB entity