OAI/Geometry/SmoothYau/Estimates/FiniteRegionsWaveSignExpectation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.YauCounterexamples.finite_section_score_expectation line 13
2. lemma OAI.YauCounterexamples.continuous_finiteWaveSuperposition_joint line 70
3. theorem OAI.YauCounterexamples.actual_wave_sign_expectation line 84
4. theorem OAI.YauCounterexamples.exists_large_score_avoiding line 112
5. theorem OAI.YauCounterexamples.finite_regions_wave_sign_expectation line 127