OAI/Analysis/CoulombIonization/FieldAnalysis/BarrierNuclearBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombBarrier.nuclearField line 18
2. def OAI.CoulombBarrier.clippedNuclearField line 20
3. lemma OAI.CoulombBarrier.nuclearField_locallyIntegrable line 22
4. lemma OAI.CoulombBarrier.clippedNuclearField_continuous line 26
5. lemma OAI.CoulombBarrier.weighted_clipped_reaction line 31
6. lemma OAI.CoulombBarrier.nuclearField_weak_laplacian line 38
7. def OAI.CoulombBarrier.WeakNuclearLowerOn line 51
8. theorem OAI.CoulombBarrier.weakNuclearLower_add_iff line 56
9. theorem OAI.CoulombBarrier.nuclear_finset_maximum line 78