OAI/Analysis/CoulombRadii/Packets/KernelScale.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.inv_upper_of_half_le line 11
2. lemma OAI.NeutralAtom.inv_sub_bound_of_half_le line 18
3. lemma OAI.NeutralAtom.inv_cube_sub_bound_of_half_le line 32
4. def OAI.NeutralAtom.scaledCenterKernel line 60
5. lemma OAI.NeutralAtom.inverse_scaled_argument_bound line 63
6. theorem OAI.NeutralAtom.scaled_kernel_local_bound line 79
7. lemma OAI.NeutralAtom.scaledCenterKernel_support line 115
8. lemma OAI.NeutralAtom.scaledCenterKernel_support_width line 124
9. lemma OAI.NeutralAtom.scaledCenterKernel_uniform_bound line 138
10. theorem OAI.NeutralAtom.scaledCenterKernel_center_lipschitz line 156