OAI/Geometry/SmoothYau/Smoothness/RoundPowerWeightedChartJets.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.real_power_envelope_jet_bound_on line 41
2. theorem OAI.YauCounterexamples.roundPower_dominated_chart_jets line 67
3. theorem OAI.YauCounterexamples.roundPower_dominated_chart_rapid_decay line 116
4. theorem OAI.YauCounterexamples.roundPower_weighted_chart_jets line 184