OAI/Analysis/CoulombIonization/Variational/OutRetainedLower.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.out_retained_kinetic line 20
2. lemma OAI.CoulombAtom.out_retained_repulsion line 37
3. abbrev OAI.CoulombAtom.OuterCutRetention line 54
4. theorem OAI.CoulombAtom.fresh_cut_out_retained_kinetic line 57
5. theorem OAI.CoulombAtom.fresh_cut_out_retained_repulsion line 71
6. lemma OAI.CoulombAtom.integral_coreSlice_priceExcess line 95
7. lemma OAI.CoulombAtom.priced_core_excess_identity line 112
8. theorem OAI.CoulombAtom.integrated_conditional_patch_budget line 120