OAI/Analysis/CoulombIonization/ThomasFermi/PatchTruncationLoss.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAnalysis.tfPatchDensityCapConstant line 18
2. lemma OAI.CoulombAnalysis.tfPatchDensityCapConstant_pos line 21
3. lemma OAI.CoulombAnalysis.tfPatchDensityCap_scale line 24
4. lemma OAI.CoulombAnalysis.local_coulomb_le_of_density_cap line 31
5. theorem OAI.CoulombAtom.conditionalPatchMinimizer_truncation_loss line 55