OAI/Analysis/CoulombRadii/FieldAnalysis/DeterminantBodyReal.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.determinant_one_body_real line 52
2. lemma OAI.Coulomb.slaterWave_one_body_real line 66
3. lemma OAI.Coulomb.compact_coulomb_onebody_integrable line 83
4. lemma OAI.Coulomb.compact_attraction_cross_integrable line 99
5. lemma OAI.Coulomb.slaterState_nuclear line 108
6. lemma OAI.Coulomb.slaterState_form_upper line 163
7. lemma OAI.Coulomb.energy_le_slater_trial line 178