Go back to the tag's page.
Tags: Added new tags
Rerducedness lemma generalized Thanks to Laurent Moret-Bailly https://stacks.math.columbia.edu/tag/0C0D#comment-8088