OAI/Analysis/HenonEmden/RadialGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.radialFactor line 15
2. def OAI.HenonLaneEmden.fluxFactor line 18
3. lemma OAI.HenonLaneEmden.radialFactor_eq line 21
4. lemma OAI.HenonLaneEmden.radialFactor_bounds line 28
5. lemma OAI.HenonLaneEmden.directionalFactor_oscillation line 35
6. lemma OAI.HenonLaneEmden.weight_directional_bound line 58