OAI/Analysis/HenonEmden/OriginBounds.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.RadialODE.impossible_two_dimensional line 26
2. lemma OAI.HenonLaneEmden.IsSolution.not_two_dimensional line 73
3. lemma OAI.HenonLaneEmden.RadialODE.impossible_log_derivative_near_zero line 87
4. lemma OAI.HenonLaneEmden.RadialODE.impossible_source_inverse_square line 115
5. lemma OAI.HenonLaneEmden.source_mean_factor line 161
6. lemma OAI.HenonLaneEmden.source_mean_lower_near_zero line 167
7. lemma OAI.HenonLaneEmden.IsSolution.swap line 184
8. lemma OAI.HenonLaneEmden.IsSolution.first_weight_gt_neg_two line 189
9. lemma OAI.HenonLaneEmden.IsSolution.weights_gt_neg_two line 213