Lemma 28.12.2. Let $X$ be a locally Noetherian scheme. Then $X$ is regular if and only if $X$ has $(R_ k)$ for all $k \geq 0$.
Proof. Follows from Lemma 28.9.2 and the definitions. $\square$
Lemma 28.12.2. Let $X$ be a locally Noetherian scheme. Then $X$ is regular if and only if $X$ has $(R_ k)$ for all $k \geq 0$.
Proof. Follows from Lemma 28.9.2 and the definitions. $\square$
Comments (0)