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)