OAI/Analysis/CoulombIonization/ThomasFermi/PatchGap.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.tfPower_tangent line 16
2. lemma OAI.CoulombAnalysis.tfLp_kinetic_tangent line 32
3. lemma OAI.CoulombAnalysis.tfCoulombL_sub_self line 47
4. lemma OAI.CoulombAnalysis.tfPatchFunctional_gap_gradient line 54
5. lemma OAI.CoulombAnalysis.tfPatchGradient_eq_negative_field line 74
6. theorem OAI.CoulombAnalysis.tfPatchFunctional_clipping_gap line 96