real dimension

URI: https://gptkb.org/prop/real_dimension
9 triples
GPTKB property
Random triples
Subject Object
gptkb:U(6) 36
gptkb:unitary_group_U(2) 4
gptkb:E_{7(-25)}/(E_6_×_U(1)/Z_3) 54
gptkb:special_unitary_group_SU(2) 3
gptkb:F4_(Lie_group) 52
gptkb:Lie_algebra_su(2) 3
gptkb:CP^2 4
gptkb:Complex_projective_space 2n
gptkb:complex_projective_plane 4