Solution (source code)

= Solution

$H_0^1(\Omega)$ is the closure of $C_c^\infty(\Omega)$ in $H^1(\Omega)$.