OAI/Analysis/CoulombIonization/Variational/Electrostatic.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.triangular_sum_eq_half line 14
2. def OAI.CoulombAtom.pairPotential line 40
3. lemma OAI.CoulombAtom.pairPotential_perm line 43
4. lemma OAI.CoulombAtom.card_small_fin_le line 62
5. lemma OAI.CoulombAtom.sorted_pairPotential_lower line 72
6. lemma OAI.CoulombAtom.sorted_potential_stability line 99
7. lemma OAI.CoulombAtom.potential_stability line 134