OAI/Analysis/CoulombIonization/Fermionic/SlaterPairTrace.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.slaterPairContraction line 19
2. lemma OAI.CoulombAtom.slaterPairContraction_self line 24
3. lemma OAI.CoulombAtom.slaterPairAmplitude_contraction line 29
4. lemma OAI.CoulombAtom.slaterPairContraction_sum_of_perm line 39
5. lemma OAI.CoulombAtom.slaterPairContraction_sum line 58
6. lemma OAI.CoulombAtom.slaterPairSliceRaw_sum_integral line 84
7. lemma OAI.CoulombAtom.slaterTensor_pair line 133
8. lemma OAI.CoulombAtom.slaterRaw_pair_split line 146
9. lemma OAI.CoulombAtom.slater_pair_split_norm_sq line 158
10. lemma OAI.CoulombAtom.slater_pair_observable line 166