Lemma 106.8.3. The base change of a formally smooth morphism of algebraic stacks by any morphism of algebraic stacks is formally smooth.
Proof. Follows from Categories, Lemma 4.44.2 and the definition. $\square$
Lemma 106.8.3. The base change of a formally smooth morphism of algebraic stacks by any morphism of algebraic stacks is formally smooth.
Proof. Follows from Categories, Lemma 4.44.2 and the definition. $\square$
Comments (0)