higher algebraic K-groups

GPTKB entity