OAI/Analysis/HenonEmden/FarLocalization.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.farLocalConstant line 13
2. lemma OAI.HenonLaneEmden.norm_X_bound line 15
3. lemma OAI.HenonLaneEmden.fluxFactor_bound line 21
4. lemma OAI.HenonLaneEmden.localError_rough line 34
5. lemma OAI.HenonLaneEmden.endpoint_far_bound line 56
6. lemma OAI.HenonLaneEmden.far_pair_endpoint line 88
7. lemma OAI.HenonLaneEmden.localError_far line 103