Tags: Added new tags

stacks · Aug 16, 2018 · 53b209a · 53b209a
1 parent 6ce4304
commit 53b209a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tags/tags b/tags/tags
@@ -18541,3 +18541,10 @@
 0EU7,flat-lemma-composition-h
 0EU8,examples-section-universally-submersive-not-V
 0EU9,examples-lemma-universally-submersive-not-V
+0EUA,descent-lemma-universal-effective-epimorphism-affine
+0EUB,descent-lemma-universal-effective-epimorphism-surjective
+0EUC,descent-lemma-check-universal-effective-epimorphism-affine
+0EUD,descent-lemma-universal-effective-epimorphism
+0EUE,examples-section-canonical
+0EUF,examples-lemma-non-fpqc-descent
+0EUG,examples-lemma-Z-not-quasi-compact