Curtis–Tits theorem

GPTKB entity