OAI/Analysis/HenonEmden/Polar.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.Polar.polar_inverse line 25
2. lemma OAI.HenonLaneEmden.Polar.integral_polar_prod line 30
3. lemma OAI.HenonLaneEmden.Polar.integrable_polar_prod line 41
4. lemma OAI.HenonLaneEmden.Polar.lintegral_polar_prod line 49
5. lemma OAI.HenonLaneEmden.Polar.integral_polar_radius line 60
6. lemma OAI.HenonLaneEmden.Polar.lintegral_polar_radius line 67
7. lemma OAI.HenonLaneEmden.Polar.integral_polar line 76
8. lemma OAI.HenonLaneEmden.Polar.lintegral_polar line 90