OAI/Analysis/HenonEmden/AngularMeasurability.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.measurable_cap_energy line 13
2. lemma OAI.HenonLaneEmden.measurable_cap_d_energy line 23
3. lemma OAI.HenonLaneEmden.measurable_cap_pressure line 33
4. lemma OAI.HenonLaneEmden.measurable_cap_mismatch line 44
5. lemma OAI.HenonLaneEmden.measurable_cap_loss line 54
6. lemma OAI.HenonLaneEmden.lintegral_angular_d_energy line 64
7. def OAI.HenonLaneEmden.sphereMass line 76
8. lemma OAI.HenonLaneEmden.sphereMass_nonneg line 77
9. lemma OAI.HenonLaneEmden.angular_constant_bound line 79
10. lemma OAI.HenonLaneEmden.IsSolution.angular_mismatch_bound line 87