Lie algebra F4

GPTKB entity