Fundamental theorem of K-theory

GPTKB entity