OAI/Analysis/HenonEmden/Sources.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.source line 27
2. lemma OAI.HenonLaneEmden.source_zero line 30
3. lemma OAI.HenonLaneEmden.source_off_zero line 32
4. lemma OAI.HenonLaneEmden.measurable_source line 35
5. lemma OAI.HenonLaneEmden.source_nonneg line 40
6. lemma OAI.HenonLaneEmden.source_pos line 47
7. lemma OAI.HenonLaneEmden.regular_source line 52
8. lemma OAI.HenonLaneEmden.locallyIntegrable_source line 60
9. lemma OAI.HenonLaneEmden.IsSolution.weak_u_off_origin line 77
10. lemma OAI.HenonLaneEmden.IsSolution.weak_v_off_origin line 95