OAI/Analysis/CoulombRadii/Packets/PatchKernelDuality.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Coulomb.master_kernel_patch_gap line 14
2. theorem OAI.NeutralAtom.kernel_sum_matching line 62
3. theorem OAI.NeutralAtom.kernel_sum_matching_permuted line 85
4. theorem OAI.NeutralAtom.master_kernel_matching line 99
5. lemma OAI.Coulomb.fineKernel_test_integrable line 128
6. lemma OAI.Coulomb.fineKernel_test_matching line 134
7. lemma OAI.Coulomb.fineKernel_test_zero_far line 161
8. theorem OAI.Coulomb.patchFine_kernel_matching line 174