splitRealForm

URI: https://gptkb.org/prop/splitRealForm
3 triples
GPTKB property
Random triples
Subject Object
gptkb:complex_Lie_group_F4 split real Lie group F4
gptkb:E_{7(7)} true
gptkb:Lie_algebra_sl(2,_R) true