K-theory spectrum

GPTKB entity