OAI/Analysis/CoulombIonization/FieldAnalysis/PatchWeakPoisson.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.compact_laplacian_mass line 18
2. theorem OAI.CoulombAnalysis.tfBallPotential_weak_laplacian line 23
3. lemma OAI.CoulombAnalysis.tfBallPotential_laplacian_integrable line 46
4. theorem OAI.CoulombAtom.normalizedCoreField_weak_laplacian line 60
5. theorem OAI.CoulombAtom.normalizedCoreField_weak_harmonic line 73
6. lemma OAI.CoulombAtom.normalizedCoreField_weak_harmonic_ball line 97