OAI/Analysis/CoulombIonization/ThomasFermi/ActualPatchCap.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAnalysis.tfPatchCapConstant line 20
2. lemma OAI.CoulombAnalysis.tfPatchCapConstant_pos line 22
3. lemma OAI.CoulombAnalysis.tfReactionCoefficient_formula line 26
4. lemma OAI.CoulombAnalysis.ballMeasure_integral_eq_of_support line 33
5. lemma OAI.CoulombAnalysis.tf_weak_pde_volume line 39
6. theorem OAI.CoulombAtom.conditionalPatchMinimizer_nonradial_cap line 64
7. theorem OAI.CoulombAtom.conditionalPatchMinimizer_density_cap line 82