OAI/Analysis/CoulombRadii/Screening/ScreenNumeric.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Coulomb.screening_ims_units line 11
  2. lemma OAI.Coulomb.screening_gain_normalized line 23
  3. lemma OAI.Coulomb.screening_polynomial_bound line 43
  4. lemma OAI.Coulomb.screening_exponential_majorant line 65
  5. def OAI.Coulomb.screenFieldUnit line 91
  6. lemma OAI.Coulomb.screenFieldUnit_pos line 92
  7. lemma OAI.Coulomb.screenFieldUnit_square line 94
  8. lemma OAI.Coulomb.screenFieldUnit_product line 99
  9. def OAI.Coulomb.atomicIMSConstant line 107
  10. lemma OAI.Coulomb.atomicIMSConstant_nonneg line 108
  11. lemma OAI.Coulomb.atomicIMS_le_units line 110
  12. lemma OAI.Coulomb.sqrt_count_raw_product line 130
  13. lemma OAI.Coulomb.atomic_cell_cost_units line 141