special case for n=3

URI: https://gptkb.org/prop/special_case_for_n=3
1 triples
GPTKB property
Random triples
Subject Object
gptkb:orthogonal_group_SO(n) gptkb:rotation_group_SO(3)