OAI/Geometry/SmoothYau/Estimates/ActualRadialCorrugationStrictShift.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.coframe_radial_norm_lower line 25
2. lemma OAI.YauCounterexamples.radialCorrugation_support line 37
3. lemma OAI.YauCounterexamples.radialCorrugation_uniform_C0 line 47
4. theorem OAI.YauCounterexamples.actual_radialCorrugation_gain line 71
5. theorem OAI.YauCounterexamples.actual_radialCorrugation_strict_shift line 151
6. theorem OAI.YauCounterexamples.actual_radialCorrugation_gain_shift line 266
7. lemma OAI.YauCounterexamples.radialCorrugation_uniform_C0_shift line 336