Go back to the tag's page.
Tags: Added new tags
Add a lemma on lifting Thanks to Hadi Hedayatzadeh https://stacks.math.columbia.edu/tag/09XD#comment-8770