OAI/Analysis/CoulombIonization/RadialBounds/BarrierInitialCapsBarrier.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.initializedBarrier_exterior line 16
2. lemma OAI.CoulombBarrier.initializedBarrier_lower line 28
3. lemma OAI.CoulombBarrier.initializedBarrier_cap line 35
4. lemma OAI.CoulombBarrier.initializedBarrier_tail line 48