OAI/Analysis/CoulombIonization/RadialBounds/RadialCenterRawComparison.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.center_raw_error_of_loss line 18
2. lemma OAI.CoulombAtom.radial_branch_center_raw_bound line 33
3. theorem OAI.CoulombAtom.radial_center_raw_comparison line 73
4. theorem OAI.CoulombAtom.radial_center_field_quantitative line 126