real K-theory spectrum KO

GPTKB entity