first homotopy group for n>2

URI: https://gptkb.org/prop/first_homotopy_group_for_n>2
1 triples
GPTKB property
Random triples
Subject Object
gptkb:orthogonal_group gptkb:Z/2Z