The Meyers-Serrin theorem on Riemannian manifolds: a survey

We revisit the questions of density of smooth functions, and differential forms, in Sobolev spaces on Riemannian manifolds. We carefully show equivalence of weak covariant derivatives to weak partial derivatives.