OAI/Analysis/CoulombIonization/RadialBounds/FiniteBarrier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.originalQueryField_eq_nuclear_mean line 20
2. def OAI.CoulombBarrier.actualInverseCap line 33
3. lemma OAI.CoulombBarrier.actual_finite_barrier_from_good line 35
4. structure OAI.CoulombBarrier.SelectedQuantumData line 104
5. lemma OAI.CoulombBarrier.SelectedQuantumData.opposite_charge line 136