OAI/Analysis/CoulombRadii/FieldAnalysis/BodyCoefficient.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Coulomb.oneBody_derivative line 12
  2. lemma OAI.Coulomb.oneBody_second_derivative line 22
  3. structure OAI.Coulomb.SmoothBoundedCoefficient line 35
  4. lemma OAI.Coulomb.SmoothBoundedCoefficient.lift_smooth line 45
  5. lemma OAI.Coulomb.SmoothBoundedCoefficient.lift_deriv_le line 48
  6. def OAI.Coulomb.regularizedU line 56
  7. lemma OAI.Coulomb.regularizedU_pos line 57
  8. lemma OAI.Coulomb.regularizedU_ge line 59
  9. lemma OAI.Coulomb.regularizedU_partial line 63
  10. lemma OAI.Coulomb.regularizedU_smooth line 69
  11. def OAI.Coulomb.reciprocalCoefficient line 72
  12. def OAI.Coulomb.rootReciprocalCoefficient line 95
  13. lemma OAI.Coulomb.rootReciprocalCoefficient_sq line 118