OAI/Analysis/CoulombRadii/FieldAnalysis/Weighted.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.FermionicCoefficients.weighted_eq line 13
2. lemma OAI.Coulomb.FermionicCoefficients.weighted_summable line 25
3. lemma OAI.Coulomb.FermionicCoefficients.weighted_sum line 34
4. lemma OAI.Coulomb.nonneg_integrable_series line 50
5. def OAI.Coulomb.firstParticleDensity line 85
6. def OAI.Coulomb.highParticleDensity line 89
7. lemma OAI.Coulomb.firstParticleDensity_integrable line 95
8. lemma OAI.Coulomb.highParticleDensity_integrable line 101
9. lemma OAI.Coulomb.highParticleDensity_integral line 108
10. lemma OAI.Coulomb.high_density_spectral_series line 121