OAI/Analysis/CoulombRadii/FieldAnalysis/SpinConfigurationIntegral.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.spinConfiguration_integral line 49
2. lemma OAI.Coulomb.sum_pair_symmetric line 62
3. lemma OAI.Coulomb.cubeState_pair_energy line 92
4. lemma OAI.Coulomb.slaterState_pair_upper_flat line 107
5. lemma OAI.Coulomb.spinPair_integral line 135
6. lemma OAI.Coulomb.compact_coulomb_direct_integrable line 159
7. def OAI.Coulomb.slaterDensity line 167
8. lemma OAI.Coulomb.slaterState_pair_upper line 170