OAI/Analysis/CoulombRadii/FieldAnalysis/FlatBodyDensity.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.add_power_five_thirds_le line 26
2. def OAI.Coulomb.flatOneBodyDensity line 43
3. def OAI.Coulomb.oneBodyDensity line 46
4. lemma OAI.Coulomb.flatOneBodyDensity_nonneg line 49
5. lemma OAI.Coulomb.flatOneBodyDensity_integrable line 53
6. lemma OAI.Coulomb.flatOneBodyDensity_mass line 59
7. lemma OAI.Coulomb.flatOneBodyDensity_power_bound line 75
8. lemma OAI.Coulomb.oneBodyDensity_integrable line 109
9. lemma OAI.Coulomb.oneBodyDensity_mass line 114
10. lemma OAI.Coulomb.oneBodyDensity_power_bound line 120