Formalization status

Completion report

Click chapter titles to see missing items.

Introduction 100%

1 Definitions 100%

2 Basic Estimates 100%

3 Deduction of the main results 100%

4 Fourier Analysis 100%

5 Technical Lemmas 100%

6 Deduction of main technical proposition 100%

What to define next?

What to state next?

What to prove next?