has homotopy groups

URI: https://gptkb.org/prop/has_homotopy_groups
1 triples
GPTKB property
Random triples
Subject Object
gptkb:connective_real_K-theory ko_n = KO_n for n ≥ 0, ko_n = 0 for n < 0