has real form

4 triples
GPTKB property

Random triples
Subject Object
gptkb:Spin(16) compact
gptkb:Spin(16) split
gptkb:Lagrangian_Grassmannian real Lagrangian Grassmannian
gptkb:algebraic_group_E7 E7(R)