OAI/Analysis/HenonEmden/PressureEstimate.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.pressureGeomCoefficient line 13
2. def OAI.HenonLaneEmden.pressureSmallCoefficient line 14
3. def OAI.HenonLaneEmden.pressureHighCoefficient line 17
4. def OAI.HenonLaneEmden.pressureConstant line 19
5. lemma OAI.HenonLaneEmden.pressureGeomCoefficient_nonneg line 24
6. lemma OAI.HenonLaneEmden.pressureSmallCoefficient_nonneg line 28
7. lemma OAI.HenonLaneEmden.pressureHighCoefficient_nonneg line 36
8. lemma OAI.HenonLaneEmden.pressureConstant_nonneg line 43
9. lemma OAI.HenonLaneEmden.IsSolution.pressure_estimate line 53