Go back to the tag's page.
Tags: added new tags
Add a lemma to more-morphisms Thanks to comment_bot https://stacks.math.columbia.edu/tag/0E9K#comment-4295