de Branges theorem

GPTKB entity