Source: wikibot/lovasz-local-lemma

= Lovász local lemma
{wiki=Lovász_local_lemma}