Smooth manifold (source code)

= Smooth manifold

A smooth $k$-manifold is a Hausdorff second-countable space locally homeomorphic to $\mathbb R^k$, equipped with smoothly compatible coordinate charts.