OAI/Analysis/CoulombRadii/FieldAnalysis/WeightedExchangeAlgebra.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.weighted_exchange_algebra line 54
2. lemma OAI.Coulomb.weighted_exchange_integral line 69
3. lemma OAI.Coulomb.weighted_slaterPairEntry_upper line 100
4. lemma OAI.Coulomb.bernoulli_chosen_sum line 145
5. lemma OAI.Coulomb.bernoulli_slater_pair_upper line 151
6. def OAI.Coulomb.selectedSlater line 167
7. lemma OAI.Coulomb.selectedSlater_antisymmetric line 176
8. lemma OAI.Coulomb.selectedSlater_normalized line 183
9. lemma OAI.Coulomb.bernoulli_slater_kinetic_mean line 194
10. def OAI.Coulomb.finiteFermiDensity line 213
11. lemma OAI.Coulomb.selectedSlater_density line 217
12. lemma OAI.Coulomb.finiteFermiDensity_nuclear_integrable line 223
13. lemma OAI.Coulomb.bernoulli_slater_nuclear_mean line 244