OAI/Analysis/CoulombIonization/RadialBounds/BindingBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.capped_radius_sum line 16
2. lemma OAI.CoulombAtom.bindingWeight_pair_lower line 28
3. lemma OAI.CoulombAtom.bindingWeight_pair_integral line 46
4. lemma OAI.CoulombAtom.bindingWeight_nuclear_integral line 75