Go back to the tag's page.
Add reference to EGA Thanks to Wessel https://stacks.math.columbia.edu/tag/0CUF#comment-2715
Tags: Added new tags
Generalize some lemmas on limits