OAI/Analysis/HenonEmden/PotentialContinuity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.WeakPDE.rpow_kernel_shift_bound line 32
2. lemma OAI.HenonLaneEmden.WeakPDE.continuousAt_far_rawPotential line 45
3. lemma OAI.HenonLaneEmden.WeakPDE.continuous_mul_cutoff line 80
4. lemma OAI.HenonLaneEmden.WeakPDE.rawPotential_integrable_cutoff line 92
5. lemma OAI.HenonLaneEmden.WeakPDE.continuousOn_rawPotential line 105
6. lemma OAI.HenonLaneEmden.IsSolution.potential_u line 160