OAI/Analysis/CoulombIonization/RadialBounds/LocalBallTraceBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.ballIndicator_measurable line 16
2. lemma OAI.CoulombAtom.weightedParticleCount_ball line 21
3. lemma OAI.CoulombAtom.weightedParticleCount_le_ball line 33
4. lemma OAI.CoulombAtom.radialInside_sq_count line 48
5. lemma OAI.CoulombAtom.radialInside_derivative_count line 66
6. lemma OAI.CoulombAtom.radialInside_density_error line 91
7. def OAI.CoulombAtom.sharpOrdinaryDensityConstant line 102
8. lemma OAI.CoulombAtom.radialInside_nonzero_lt line 106
9. theorem OAI.CoulombAtom.sharp_cell_ordinary_density line 113