Go back to the tag's page.
Fix statement lemma + typos proof Thanks to ShogÅki https://stacks.math.columbia.edu/tag/0G0Q#comment-5410
Tags: Added new tags
Standard lemma added for completeness Should be moved earlier...