Lieb conjecture (source code)

= Lieb conjecture
{wiki=Lieb_conjecture}