Probabilistic Methods 6-1: Local Lemma

In the first video of Week 6, we state and prove the Lovasz local lemma.