Solution (source code)

= Solution

The <singular support> of $u\in\mathcal D'(X)$ is the complement of the largest open subset of $X$ on which $u$ is represented by a smooth function.