Go back to the tag's page.
Fix double name Thanks to Jiwan Jung https://stacks.math.columbia.edu/tag/05R1#comment-8720
Tags: added new tags
Yet another reformulation better still...