OAI/Analysis/CoulombIonization/ThomasFermi/PatchRandomVariables.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.tfPatchIntegral_continuous line 26
2. lemma OAI.CoulombNeumann.retainedPatchLp_measurable line 45
3. lemma OAI.CoulombAtom.conditionalPatchField_ae line 64
4. lemma OAI.CoulombAtom.conditionalPatchMass_aemeasurable line 72
5. lemma OAI.CoulombAtom.conditionalPatchGap_aemeasurable line 79