OAI/Analysis/CoulombRadii/Propagation/NuclearPotential.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.nuclearPotential line 66
2. def OAI.Coulomb.pairPotential line 68
3. lemma OAI.Coulomb.nuclearPotential_permute line 72
4. lemma OAI.Coulomb.coulombKernel_sub_comm line 77
5. lemma OAI.Coulomb.twice_pairPotential line 80
6. lemma OAI.Coulomb.pairPotential_permute line 108
7. lemma OAI.Coulomb.nuclearEnergy_wedge_tensor line 118
8. lemma OAI.Coulomb.pairEnergy_wedge_tensor line 125
9. lemma OAI.Coulomb.nuclearPotential_join line 132
10. def OAI.Coulomb.crossPotential line 137
11. lemma OAI.Coulomb.pairPotential_join line 140