Abstract smooth surface (source code)

= Abstract smooth surface

An abstract smooth surface is a two-dimensional <smooth manifold>. Thus it is a Hausdorff second-countable space with an atlas of plane-valued coordinate charts whose transition maps are smooth.