OAI/Analysis/CoulombIonization/Variational/SumPairsHalf.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.sum_pairs_half line 96
2. def OAI.CoulombAtom.configurationReindex line 125
3. lemma OAI.CoulombAtom.configurationReindex_apply line 129
4. lemma OAI.CoulombAtom.configurationReindex_preserving line 134
5. lemma OAI.CoulombAtom.configurationReindex_direction line 138
6. def OAI.CoulombAtom.reindexForm line 148
7. lemma OAI.CoulombAtom.SobolevVector.reindex line 152
8. lemma OAI.CoulombAtom.SobolevFermion.reindex line 163
9. lemma OAI.CoulombAtom.integral_reindex line 174
10. lemma OAI.CoulombAtom.sum_spin_reindex line 179
11. lemma OAI.CoulombAtom.formMass_reindex line 187
12. lemma OAI.CoulombAtom.nuclear_integral_reindex line 196
13. lemma OAI.CoulombAtom.pair_integral_reindex line 203
14. lemma OAI.CoulombAtom.pair_sum_reindex line 210
15. theorem OAI.CoulombAtom.formEnergy_reindex line 229