Major update to the blueprint

Stream: Carleson

[Floris van Doorn]

In #36 @Leo Diedering wrote a major update to the blueprint, and he has split up chapter 10 into two chapters: 10 and 11.
The old Chapter 10 proves Carleson's theorem for the real line from the version on metric spaces. The new chapter 10 proves Carleson's theorem for two-sided Calderon-Zygmund kernels on metric spaces. This generalizes the Cotlar inequality and Calderon-Zygmund-decomposition that before were stated specifically for the real line, and they are now stated for metric spaces. The new chapter 11 contains the remaining part of the argument reducing Carleson's theorem to the real line. @Terence Tao also suggested to us to do this generalization.
This was part of Leo's bachelor thesis(!), the other part was formalizing many of the results that are now in chapter 11.

[Floris van Doorn]

@Leo Diedering two small comments (that are not urgent): could you make sure that every result in chapter 10 and 11 where the statement has a \leanok has a corresponding non-empty \lean{...} command? And could you make sure that classical-Carleson is the unique minimal element in the dependency graph? (two-sided-metric-space-Carleson likely needs a bunch more entries in its uses{} command).

[Leo Diedering]

Thanks for announcing the update @Floris van Doorn !
A comment from me: As of now, I kept the changes local to Chapters 10 and 11 but further changes might follow to integrate them more closely with the rest of the paper and possibly get rid of some minor redundancies.

[Leo Diedering]

Floris van Doorn schrieb:

Leo Diedering two small comments (that are not urgent): could you make sure that every result in chapter 10 and 11 where the statement has a \leanok has a corresponding non-empty \lean{...} command? And could you make sure that classical-Carleson is the unique minimal element in the dependency graph? (two-sided-metric-space-Carleson likely needs a bunch more entries in its uses{} command).

Yes, there are definitely entries missing. I will try to add them soon.