OAI/Analysis/CoulombIonization/ThomasFermi/TFMeanComparison.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.oscillation_upper_of_center_le line 17
2. lemma OAI.CoulombAnalysis.oscillation_lower_of_center_ge line 28
3. lemma OAI.CoulombAnalysis.tf_euler_density_mono line 35
4. lemma OAI.CoulombAnalysis.tf_density_average_upper line 40
5. lemma OAI.CoulombAnalysis.tf_density_average_lower line 57
6. theorem OAI.CoulombAnalysis.tfPatchMinimizer_mean_upper line 74
7. theorem OAI.CoulombAnalysis.tfPatchMinimizer_mean_lower line 90
8. theorem OAI.CoulombAtom.conditionalPatchMinimizer_negative_center line 114
9. theorem OAI.CoulombAtom.conditionalRetained_negative_center line 148