OAI/Analysis/CoulombIonization/Variational/NegativePatchControl.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.negative_part_le_of_oscillation line 18
2. lemma OAI.CoulombAnalysis.oscillation_negative_center_integral line 31
3. lemma OAI.CoulombAnalysis.tfPatchGap_negative_integrable line 61
4. lemma OAI.CoulombAnalysis.tfPatchGap_negative_le line 69
5. theorem OAI.CoulombAnalysis.tfPatchGap_negative_center_control line 77