OAI/Analysis/HenonEmden/KernelBalls.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.WeakPDE.shifted_ball_indicator line 17
2. lemma OAI.HenonLaneEmden.WeakPDE.integrable_shifted_power_ball line 26
3. lemma OAI.HenonLaneEmden.WeakPDE.integral_shifted_power_ball line 35
4. lemma OAI.HenonLaneEmden.WeakPDE.rpow_half_double_bound line 42