OAI/Analysis/CoulombIonization/Variational/IntegratedTruncatedControl.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.patch_test_continuous_of_memLp line 24
2. lemma OAI.CoulombAtom.truncated_kernel_memLp line 35
3. lemma OAI.CoulombAtom.weightedPatchTestSquare_memLp_aemeasurable line 46
4. lemma OAI.CoulombAtom.weightedPatchTruncatedSquare_le line 60
5. lemma OAI.CoulombAtom.weightedPatchTruncatedSquare_integrable line 71
6. lemma OAI.CoulombAtom.integral_weightedPatchTruncatedSquare_le line 85
7. theorem OAI.CoulombAtom.radial_truncated_test_control line 97