2 problems

The theorem concerns a morphism of $k$-analytic stacks whose diagonal is assumed to be unramified in the stated result. Properness conjecture. The theorem that this morphism is pro…

Let $S$ be a smooth connected scheme over a perfect field $k$ of characteristic $p$. Let $f\colon X\to S$ and $g\colon Y\to S$ be smooth morphisms of relative dimensions $n$ and…