OAI/Analysis/HenonEmden/Harmonic.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.SphereCalculus.harmonic_mean_zero line 31
2. lemma OAI.HenonLaneEmden.SphereCalculus.harmonic_ball_zero line 51
3. lemma OAI.HenonLaneEmden.SphereCalculus.harmonic_ball line 90
4. lemma OAI.HenonLaneEmden.SphereCalculus.harmonic_nonnegative_constant line 108