Tags: Added new tags

tags/tags

@@ -15436,3 +15436,21 @@
 0CAK,modules-lemma-constructible-comes-from-finite
 0CAL,modules-lemma-constructible-in-constant
 0CAM,etale-cohomology-lemma-connected-topological
+0CAN,algebra-lemma-minimal-prime-image-minimal-prime
+0CAP,algebra-lemma-lift-nth-roots
+0CAQ,algebra-lemma-smooth-descends-through-colimit
+0CAR,smoothing-lemma-approximation-property-variant
+0CAS,more-morphisms-lemma-lift-etale-neighbourhood-fibre
+0CAT,more-morphisms-section-etale-nbhds-artin
+0CAU,more-morphisms-lemma-map-approximation
+0CAV,more-morphisms-lemma-isomorphism-approximation
+0CAW,more-morphisms-lemma-relative-map-approximation
+0CAX,more-morphisms-lemma-control-agreement
+0CAY,more-morphisms-lemma-control-graded
+0CAZ,more-morphisms-equation-resolution
+0CB0,more-morphisms-equation-resolution-new
+0CB1,more-morphisms-lemma-relative-isomorphism-approximation
+0CB2,more-morphisms-section-etale-nbhds-branches
+0CB3,more-morphisms-lemma-nr-minimal-primes
+0CB4,more-morphisms-lemma-nr-branches
+0CB5,more-morphisms-lemma-nr-branches-fibre