Quillen's K-theory

GPTKB entity