has real form

URI: https://gptkb.org/prop/has_real_form
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Spin(16) split
gptkb:Spin(16) compact
gptkb:Lagrangian_Grassmannian real Lagrangian Grassmannian
gptkb:algebraic_group_E7 E7(R)