OAI/Analysis/CoulombIonization/RadialBounds/ShellAbsorptionNumerics.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.innerScale_price_le line 11
2. lemma OAI.CoulombAtom.shellMean_price_absorb_bound line 23
3. def OAI.CoulombAtom.actualShellRadius line 55
4. lemma OAI.CoulombAtom.actualShellRadius_ge line 56
5. lemma OAI.CoulombAtom.shellBias_pair_absorb line 58
6. theorem OAI.CoulombAtom.actual_shell_number line 91
7. theorem OAI.CoulombAtom.exists_actual_shell_number_constant line 129