OAI/Analysis/CoulombIonization/FieldAnalysis/OwnProbabilityFieldCapBarrier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.originalFieldCapBudget line 19
2. lemma OAI.CoulombAtom.originalQueryField_integrable line 28
3. lemma OAI.CoulombAtom.originalQueryField_le_nuclear line 44
4. theorem OAI.CoulombAtom.OwnProbabilityTailTiltState.event_integral_cap line 56
5. theorem OAI.CoulombAtom.OwnProbabilityTailTiltState.event_integral_cap_or_floor line 115