Cook-Levin theorem (source code)

= Cook-Levin theorem
{c}
{wiki=Cook–Levin_theorem}