center for n even

URI: https://gptkb.org/prop/center_for_n_even
3 triples
GPTKB property
Random triples
Subject Object
gptkb:orthogonal_group {identity, -identity}
gptkb:Special_orthogonal_group_over_complex_numbers {I}
gptkb:Special_orthogonal_group object is {I}