Lie algebra of type F4

GPTKB entity