OAI/Analysis/HenonEmden/PairPressure.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.directionalFactor line 15
2. lemma OAI.HenonLaneEmden.measurable_directionalFactor line 19
3. lemma OAI.HenonLaneEmden.directionalFactor_bounds line 22
4. lemma OAI.HenonLaneEmden.coordinate_kernel line 33
5. lemma OAI.HenonLaneEmden.coordinate_direction line 41
6. def OAI.HenonLaneEmden.SpatialComponents.spatialPairLeft line 53
7. def OAI.HenonLaneEmden.SpatialComponents.spatialPairRight line 57
8. lemma OAI.HenonLaneEmden.SpatialComponents.measurable_spatialPairLeft line 66
9. lemma OAI.HenonLaneEmden.SpatialComponents.measurable_spatialPairRight line 77
10. lemma OAI.HenonLaneEmden.SpatialComponents.spatial_global_nonnegative_pressure line 93