OAI/Analysis/CoulombIonization/RadialBounds/ExpectedRadialCapBarrier.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAtom.expectedRadialPatchCenter_le line 19
2. theorem OAI.CoulombAtom.sharp_eventLaw_field_cap line 56
3. def OAI.CoulombAtom.dimensionlessPatchRemainder line 106
4. lemma OAI.CoulombAtom.scaled_mass_four_thirds line 114
5. lemma OAI.CoulombAtom.sharpPatchRemainder_rescale line 119
6. def OAI.CoulombAtom.dimensionlessLocalPotential line 127
7. lemma OAI.CoulombAtom.sharpLocalPotentialBudget_rescale line 130
8. def OAI.CoulombAtom.dimensionlessPotentialRemainder line 148
9. lemma OAI.CoulombAtom.sharpPotentialRemainder_rescale line 155
10. lemma OAI.CoulombAtom.localOffsetMass_rescale line 178