OAI/Analysis/CoulombIonization/FieldAnalysis/FineSmearingPotential.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombNeumann.varthetaScaled_memLp line 17
2. lemma OAI.CoulombNeumann.varthetaScaled_potential_le line 25
3. lemma OAI.CoulombNeumann.varthetaScaled_potential_eq_far line 32
4. lemma OAI.CoulombNeumann.retainedSmear_potential line 39
5. theorem OAI.CoulombNeumann.retainedSmear_potential_loss line 47