OAI/Analysis/CoulombIonization/Localization/BarrierConditionalBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombBarrier.reaction line 15
2. lemma OAI.CoulombBarrier.reaction_nonneg line 17
3. lemma OAI.CoulombBarrier.reaction_monotone line 21
4. lemma OAI.CoulombBarrier.reaction_continuous line 27
5. lemma OAI.CoulombBarrier.reaction_convex line 31
6. theorem OAI.CoulombBarrier.reaction_condExp line 56
7. theorem OAI.CoulombBarrier.offset_condExp line 61
8. theorem OAI.CoulombBarrier.reaction_offset_condExp line 70
9. theorem OAI.CoulombBarrier.offset_condExp_bounds line 77