OAI/Analysis/CoulombIonization/FieldAnalysis/Conditional3.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.conditionalField_plus_const line 21
2. lemma OAI.CoulombBarrier.conditionalField_le line 28
3. lemma OAI.CoulombBarrier.le_conditionalField line 38
4. theorem OAI.CoulombBarrier.IsNuclearBarrier.forget line 50
5. lemma OAI.CoulombBarrier.IsNuclearBarrier.congr_density line 90