OAI/Analysis/CoulombIonization/Variational/IntegratedLipschitzControl.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.patch_test_continuous line 24
2. def OAI.CoulombAtom.weightedPatchTestSquare line 37
3. lemma OAI.CoulombAtom.weightedPatchTestSquare_nonneg line 46
4. lemma OAI.CoulombAtom.weightedPatchTestSquare_le line 52
5. lemma OAI.CoulombAtom.weightedPatchTestSquare_aemeasurable line 65
6. lemma OAI.CoulombAtom.weightedPatchTestSquare_integrable line 79
7. lemma OAI.CoulombAtom.integral_weightedPatchTestSquare_le line 96
8. theorem OAI.CoulombAtom.radial_lipschitz_test_control line 109