Many results from [lectures 1 to 5](https://github.com/YaelDillies/maths-notes/blob/master/additive_combinatorics.pdf) can be stated with the material from [LeanAPAP](https://github.com/YaelDillies/LeanAPAP).
