Go back to the tag's page.
Tags: Added new tags
Technical lemma on stacks in groupoids Thanks to Matthew Emerton (see changes for more info)