OAI/Analysis/CoulombRadii/ThomasFermi/PhysicalCount.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.tfInteriorCountConstant_nonneg line 14
2. lemma OAI.Coulomb.patch_retained_nucleus_separated line 18
3. lemma OAI.Coulomb.patchFineTF_weight_integrable line 28
4. lemma OAI.Coulomb.physical_patch_count_gap line 42
5. lemma OAI.Coulomb.sliceExpectation_le_affine line 73
6. lemma OAI.Coulomb.physical_patch_averaged_count line 102