Below are my own personal notes, from an expository talk given at Mathematics Institute of Jussieu–Paris Rive Gauche, as part of the reading group at https://www.russellavdek.com/410-seminar
Please note, there are bound to be errors here (although I fixed each error I found). Please also note, these being personal notes, they may be unreadable in places...