Künneth theorem in K-theory

GPTKB entity