Regular scheme (source code)

= Regular scheme
{wiki=Regular_scheme}

A locally Noetherian scheme is regular when every local ring $\mathcal O_{X,x}$ is a <regular local ring>.