OAI/Analysis/CoulombIonization/Fermionic/WeightedPairDensity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.weightedSlaterDensity line 15
2. def OAI.CoulombAtom.weightedSlaterExchange line 18
3. lemma OAI.CoulombAtom.weightedSlaterDensity_nonneg line 22
4. lemma OAI.CoulombAtom.slaterPairContraction_weighted_sum line 26