OAI/Analysis/CoulombIonization/Ionization/BarrierInitialDeterministicBarrier.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.potential_joint_measurable line 17
2. lemma OAI.CoulombBarrier.cutMaximum_joint_measurable line 25
3. lemma OAI.CoulombBarrier.initializedOffset_joint_measurable line 32
4. lemma OAI.CoulombBarrier.bounded_potential_deterministicBound line 42
5. lemma OAI.CoulombBarrier.DeterministicLocalBound.neg line 57
6. lemma OAI.CoulombBarrier.continuous_deterministicBound line 63
7. lemma OAI.CoulombBarrier.cutMaximum_deterministicBound line 69
8. lemma OAI.CoulombBarrier.initializedOffset_deterministicBound line 86