OAI/Analysis/HenonEmden/SphereFlux.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.SphereCalculus.continuousOn_mean_source line 27
2. lemma OAI.HenonLaneEmden.SphereCalculus.norm_smul_sphere line 35
3. lemma OAI.HenonLaneEmden.SphereCalculus.radial_jacobian line 41
4. lemma OAI.HenonLaneEmden.SphereCalculus.radial_weak_identity line 47
5. lemma OAI.HenonLaneEmden.SphereCalculus.mean_laplacian_ode line 121
6. lemma OAI.HenonLaneEmden.SphereCalculus.mean_pos_off_origin line 143
7. lemma OAI.HenonLaneEmden.SphereCalculus.mean_neg line 159
8. lemma OAI.HenonLaneEmden.SphereCalculus.hasDerivAt_mean_flux line 162