is a Lie group over

URI: https://gptkb.org/prop/is_a_Lie_group_over
3 triples
GPTKB property
Random triples
Subject Object
gptkb:spin(12) complex numbers
gptkb:spin(12) real numbers
gptkb:Spin(1,4) ℝ