OAI/Analysis/CoulombIonization/FieldAnalysis/Nonneg.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombPDE.SingularProfile.nonneg line 31
2. theorem OAI.CoulombPDE.SingularProfile.reaction_vanishes_at_infinity line 66
3. theorem OAI.CoulombPDE.SingularProfile.homogeneous_lower_bound line 74
4. theorem OAI.CoulombPDE.SingularProfile.pos line 158
5. theorem OAI.CoulombPDE.annular_maximum_principle_on line 163
6. theorem OAI.CoulombPDE.exterior_maximum_principle line 192
7. lemma OAI.CoulombPDE.radialPower_half_inv line 221
8. theorem OAI.CoulombPDE.exterior_harmonic_unique line 225
9. theorem OAI.CoulombPDE.SingularProfile.positive_coulomb_tail line 257