OAI/Analysis/CoulombIonization/RadialBounds/AnnularCutExcess.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.localOffsetMass_annular_bound_norm line 11
2. def OAI.CoulombAtom.annularCellCostConstant line 22
3. lemma OAI.CoulombAtom.annularCellCostConstant_pos line 25
4. lemma OAI.CoulombAtom.localOffsetMass_annular_cost line 31
5. theorem OAI.CoulombAtom.actual_finite_annular_cut_excess line 50