Tits–Kantor–Koecher construction

GPTKB entity