Fundamental theorem of algebraic K-theory

GPTKB entity