OAI/Analysis/CoulombIonization/Variational/OrbitalPole.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.orbitalPole line 17
2. lemma OAI.CoulombAtom.orbitalPole_nonneg line 20
3. lemma OAI.CoulombAtom.orbitalPole_spins line 23
4. lemma OAI.CoulombAtom.orbitalPole_continuous line 29
5. def OAI.CoulombAtom.occupationWeight line 48
6. lemma OAI.CoulombAtom.occupationWeight_nonneg line 52
7. lemma OAI.CoulombAtom.occupation_product line 60
8. lemma OAI.CoulombAtom.occupationWeight_sum line 70
9. lemma OAI.CoulombAtom.occupation_first line 74
10. lemma OAI.CoulombAtom.occupation_second line 88
11. lemma OAI.CoulombAtom.occupation_sum line 111
12. lemma OAI.CoulombAtom.occupation_pair_sum line 120