Brouwer's fan theorem

GPTKB entity