New answers tagged tag-management
3
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 construction" (without the quotation marks) returns 70 questions, and ...
Top 50 recent answers are included
