OAI/Analysis/HenonEmden/RadialCalculus.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.RadialCalculus.hasFDerivAt_profile_norm_sq line 17
2. lemma OAI.HenonLaneEmden.RadialCalculus.fderiv_profile_norm_sq line 30
3. lemma OAI.HenonLaneEmden.RadialCalculus.second_profile_norm_sq line 36
4. lemma OAI.HenonLaneEmden.RadialCalculus.laplacian_profile_norm_sq line 53
5. lemma OAI.HenonLaneEmden.RadialCalculus.hasFDerivAt_norm_real line 71
6. lemma OAI.HenonLaneEmden.RadialCalculus.hasFDerivAt_profile_norm line 81
7. lemma OAI.HenonLaneEmden.RadialCalculus.second_profile_norm line 90
8. lemma OAI.HenonLaneEmden.RadialCalculus.laplacian_profile_norm line 114
9. lemma OAI.HenonLaneEmden.RadialCalculus.radial_tsupport line 136
10. lemma OAI.HenonLaneEmden.RadialCalculus.radial_tsupport_off_origin line 141
11. lemma OAI.HenonLaneEmden.RadialCalculus.radial_contDiff line 147
12. lemma OAI.HenonLaneEmden.RadialCalculus.radial_compactSupport line 160