Go back to the tag's page.
transtion -> transition Thanks to Jonas Ehrhard https://stacks.math.columbia.edu/tag/0CUE#comment-6658
Tags: Added new tags
Generalize some lemmas on limits