Smooth algebraic surface (source code)

= Smooth algebraic surface

A smooth algebraic surface is a two-dimensional <smooth variety>. Its local rings are regular, and its integral curves define <Cartier divisors>.