OAI/Geometry/SmoothYau/Spectrum/ReciprocalIteratedDerivativeBound.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.reciprocal_iterated_derivative_bound line 19
2. theorem OAI.YauCounterexamples.normalized_reciprocal_jet_bound line 35
3. theorem OAI.YauCounterexamples.weighted_reciprocal_jet_bound line 60
4. lemma OAI.YauCounterexamples.geometric_product_jet_bound line 103
5. theorem OAI.YauCounterexamples.weighted_quotient_jet_bound line 132
6. theorem OAI.YauCounterexamples.frequency_weighted_quotient_bound line 162
7. theorem OAI.YauCounterexamples.frequency_weighted_quotient_uniform line 225
8. theorem OAI.YauCounterexamples.frequency_weighted_product_bound line 243