Normal scheme (source code)

= Normal scheme
{wiki=Normal_scheme}

An integral locally Noetherian scheme is normal when every local ring is an <integrally closed domain>.