OAI/Analysis/CoulombIonization/FieldAnalysis/LaplacianCompDilation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombPDE.laplacian_comp_dilation line 67
2. lemma OAI.CoulombPDE.compare_subsolution_finite line 88
3. def OAI.CoulombPDE.shiftedDilation line 131
4. lemma OAI.CoulombPDE.reaction_shiftedDilation line 133
5. lemma OAI.CoulombPDE.FiniteProfile.shifted_dilation_regular line 146
6. lemma OAI.CoulombPDE.FiniteProfile.shifted_dilation_equation line 152
7. lemma OAI.CoulombPDE.FiniteProfile.shifted_dilation_near line 169
8. lemma OAI.CoulombPDE.FiniteProfile.shifted_dilation_far line 186