OAI/Analysis/CoulombIonization/FieldAnalysis/OriginalFieldOscillationBarrier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.originalQueryField_continuousOn_punctured line 20
2. lemma OAI.CoulombAtom.originalQueryField_punctured_poisson line 32
3. theorem OAI.CoulombAtom.exists_original_field_oscillation_constant line 65
4. lemma OAI.CoulombAnalysis.norm_fourth_difference_le line 104
5. lemma OAI.CoulombAnalysis.normalized_field_difference line 117