has Killing form

URI: https://gptkb.org/prop/has_Killing_form
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Lie_algebra_of_type_F4 non-degenerate
gptkb:E8_group non-degenerate