The Stacks project

Definition 29.34.13. Let $d \geq 0$ be an integer. We say a morphism of schemes $f : X \to S$ is smooth of relative dimension $d$ if $f$ is smooth and $\Omega _{X/S}$ is finite locally free of constant rank $d$.