Ważewski's retract theorem

GPTKB entity