OAI/Analysis/CoulombIonization/Fermionic/OccupationPairDensity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.slaterPairDensity line 18
2. lemma OAI.CoulombAtom.occupationPairDensity line 21
3. lemma OAI.CoulombAtom.occupationPairDensity_le_direct line 38
4. lemma OAI.CoulombAtom.weightedSlater_direct_coulomb_integrable line 53
5. lemma OAI.CoulombAtom.slaterPair_coulomb_integrable line 77
6. lemma OAI.CoulombAtom.occupationSlater_repulsion line 103
7. lemma OAI.CoulombAtom.occupationSlater_repulsion_le_direct line 144