OAI/Analysis/CoulombIonization/FieldAnalysis/DeletedFieldBudget.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.sum_deleted_field_le_max line 18
2. lemma OAI.CoulombAtom.radial_deleted_field_le_max line 31
3. def OAI.CoulombAtom.freshOutMaximumSecondMoment line 44
4. lemma OAI.CoulombAtom.freshOutMaximumSecondMoment_nonneg line 50
5. lemma OAI.CoulombAtom.radial_deleted_max_product_integrable line 57
6. lemma OAI.CoulombAtom.weighted_outerDeleted_sq_integrable line 74
7. theorem OAI.CoulombAtom.radial_deleted_field_budget line 81