OAI/Analysis/CoulombIonization/FieldAnalysis/FiniteProfile.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.CoulombPDE.FiniteProfile line 61
2. lemma OAI.CoulombPDE.FiniteProfile.near_pos line 67
3. lemma OAI.CoulombPDE.FiniteProfile.nonneg line 77
4. lemma OAI.CoulombPDE.FiniteProfile.compare line 102
5. lemma OAI.CoulombPDE.FiniteProfile.upper line 144