Regular in codimension one (source code)

= Regular in codimension one

A Noetherian scheme is regular in codimension one when every local ring at a codimension-one point is regular. For an integral scheme these local rings are then discrete valuation rings.