OAI/Analysis/CoulombIonization/FieldAnalysis/CoreFieldRegularity.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.coreCoulombAt_nonneg line 19
2. lemma OAI.CoulombAtom.coreCoulombTerm_measurable line 27
3. lemma OAI.CoulombAtom.coreCoulombAt_measurable line 42
4. lemma OAI.CoulombAtom.normalizedCoreField_measurable line 46
5. lemma OAI.CoulombAtom.coreCoulombTerm_le_separated line 51
6. lemma OAI.CoulombAtom.coreCoulombAt_le_separated line 68
7. lemma OAI.CoulombAtom.normalizedCoreField_abs_le line 77
8. lemma OAI.CoulombAtom.normalizedCoreField_memLp_patch line 107
9. lemma OAI.CoulombAtom.coreSlice_field_measurable_rep line 131
10. def OAI.CoulombAtom.conditionalPatchField line 194
11. lemma OAI.CoulombAtom.conditionalPatchField_aemeasurable line 198
12. lemma OAI.CoulombAtom.conditionalPatchMinimizer_aemeasurable line 212