OAI/Analysis/CoulombIonization/FieldAnalysis/PuncturedGreenBarrier.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.punctured_laplacian_green line 16
2. def OAI.CoulombAnalysis.PuncturedPoisson line 66
3. lemma OAI.CoulombAnalysis.PuncturedPoisson.of_classical line 70
4. lemma OAI.CoulombAnalysis.PuncturedPoisson.congr_source line 74
5. lemma OAI.CoulombAnalysis.PuncturedPoisson.sub line 85
6. lemma OAI.CoulombAnalysis.PuncturedPoisson.const_mul line 99
7. lemma OAI.CoulombAnalysis.PuncturedPoisson.constant line 106
8. lemma OAI.CoulombAnalysis.PuncturedPoisson.add_const line 111
9. lemma OAI.CoulombAnalysis.PuncturedPoisson.nonneg_on line 117
10. lemma OAI.CoulombAnalysis.PuncturedPoisson.nonneg_on_positive line 130