Smooth, unramified, and etale morphisms are stable under base change, so $Y\times_X Z \to Z$ is {smooth, unramified, etale} if $Y\to X$ is {smooth, unramified, etale}.
Harry Gindi
- 19.6k
- 16
- 123
- 215