Floris an Doorn: Towards a formalized proof of Carleson's theorem External Video-URL https://www.youtube.com/watch?v=PNaOSAPtvv0 Preview-Image Search Engine Exclude no
