OAI/Geometry/SmoothYau/Estimates/EventualProductScalarCorrectionRate.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.tsupport_intrinsicCorrectionF line 30
2. lemma OAI.YauCounterexamples.intrinsic_corrections_eq_one_off_residual line 38
3. lemma OAI.YauCounterexamples.tsupport_intrinsic_corrections_sub_one line 56
4. lemma OAI.YauCounterexamples.eventual_scalar_correction_rate line 93
5. theorem OAI.YauCounterexamples.CompactMetricAtlas.eventually_scalar_exactification line 149
6. lemma OAI.YauCounterexamples.eventual_product_scalar_correction_rate line 214
7. theorem OAI.YauCounterexamples.CompactMetricAtlas.eventually_product_scalar_exactification line 240