OAI/Geometry/SmoothYau/Estimates/PreparationWaveSecondGtOne.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.YauCounterexamples.periodic_phase_average line 15
2. theorem OAI.YauCounterexamples.exists_periodic_phase_mass line 40
3. lemma OAI.YauCounterexamples.preparationWaveSecond_gt_one_of_abs line 57
4. lemma OAI.YauCounterexamples.preparationWaveSecond_gt_one_of_circle line 69
5. lemma OAI.YauCounterexamples.preparation_phase_fraction line 78
6. theorem OAI.YauCounterexamples.exists_preparation_phase line 84