OAI/Analysis/CoulombIonization/RadialBounds/ShellBias.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAtom.shellSqrt_eq_norm line 14
  2. lemma OAI.CoulombAtom.shellSqrt_lipschitz line 20
  3. def OAI.CoulombAtom.shellBiasMultiplier line 35
  4. lemma OAI.CoulombAtom.shellBias_value_sq line 53
  5. lemma OAI.CoulombAtom.shellBias_deriv_sq_le line 61
  6. lemma OAI.CoulombAtom.radialInside_abs_le line 96
  7. lemma OAI.CoulombAtom.radialOutside_abs_le line 98
  8. lemma OAI.CoulombAtom.radialInside_deriv_le line 100
  9. lemma OAI.CoulombAtom.radialOutside_deriv_le line 106
  10. def OAI.CoulombAtom.shellCutoff line 113
  11. lemma OAI.CoulombAtom.shellCutoff_support line 133
  12. lemma OAI.CoulombAtom.shellCutoff_compact line 149
  13. lemma OAI.CoulombAtom.shellCutoff_partition line 155