Source: cirosantilli/lp-is-complete

= $\LP$ is complete

TODO