Notes for 21-301:
GeneratingFunctionology
Joel Spencer Note on Local Lemma