Grothendieck group construction

GPTKB entity