OAI/Analysis/CoulombRadii/Screening/FineCountTest.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.fineKernel_eq_zero_of_two_mul_lt line 14
2. lemma OAI.Coulomb.retainedFineDensity_memLp line 19
3. def OAI.Coulomb.patchRetained line 32
4. lemma OAI.Coulomb.patchRetained_mem line 35
5. lemma OAI.Coulomb.patchRetained_measurable line 38
6. lemma OAI.Coulomb.retainedFineDensity_patch_support line 43
7. lemma OAI.Coulomb.deletedLabels_patchRetained line 55
8. lemma OAI.Coulomb.fineKernel_countTest_one line 64
9. lemma OAI.Coulomb.localCount_le_fine_test line 75