OAI/Geometry/SmoothYau/Estimates/ScalarPredPowerWeightBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.scalar_pred_power_weight_bound line 34
2. theorem OAI.YauCounterexamples.positive_wave_weight_control line 50
3. theorem OAI.YauCounterexamples.positive_wave_weight_on_control line 118