OAI/Analysis/CoulombIonization/ThomasFermi/RadialPatchCap.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAtom.radialPatchMinimizer_nonradial_cap line 18
2. theorem OAI.CoulombAtom.radialPatchMinimizer_density_cap line 43
3. def OAI.CoulombAnalysis.tfPatchOscillationConstant line 75
4. lemma OAI.CoulombAnalysis.tfPatchOscillationConstant_pos line 78
5. lemma OAI.CoulombAnalysis.tfPatchOscillationConstant_bound line 81
6. theorem OAI.CoulombAtom.conditionalPatchMinimizer_nonradial_oscillation line 94
7. theorem OAI.CoulombAtom.radialPatchMinimizer_nonradial_oscillation line 112