0
Proposal : create grothendieck-group to differentiate from grothendieck-construction.
The tag grothendieck-construction currently has 18 questions, 12 of which are about the Grothendieck group rather than the Grothendieck construction (there is no tag-wiki). A search for "Grothendieck constructi...