connective real K-theory spectrum ko

GPTKB entity