is a simple Lie group

URI: https://gptkb.org/prop/is_a_simple_Lie_group
7 triples
GPTKB property
Random triples
Subject Object
gptkb:E_{7(-133)} true
gptkb:Spin(7,C) true
gptkb:Spin(10) true
gptkb:Spin(11) true
gptkb:Spin(2n) true
gptkb:Spin(8) true
gptkb:E_8_(split_real_form) true