OAI/Analysis/CoulombRadii/Screening/CountScalar.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Coulomb.screenMass_inv_cube_le line 13
  2. lemma OAI.Coulomb.screenMass_square_ge line 16
  3. lemma OAI.Coulomb.screenMass_pairscale line 19
  4. lemma OAI.Coulomb.screenMass_kinetic_scale line 24
  5. lemma OAI.Coulomb.sqrt_cap_expression line 40
  6. lemma OAI.Coulomb.sqrt_deleted_expression line 45
  7. lemma OAI.Coulomb.sqrt_out_expression line 54
  8. lemma OAI.Coulomb.fine_count_expression line 58
  9. def OAI.Coulomb.countBootstrapA line 63
  10. def OAI.Coulomb.countBootstrapB line 64
  11. def OAI.Coulomb.countBootstrapC line 65
  12. def OAI.Coulomb.countBootstrapD line 66
  13. def OAI.Coulomb.countBootstrapE line 67
  14. def OAI.Coulomb.countBootstrapMajorant line 69
  15. lemma OAI.Coulomb.countBootstrap_coefficients_nonneg line 72
  16. lemma OAI.Coulomb.atomicComparisonExpression_le_majorant line 82
  17. lemma OAI.Coulomb.countBootstrap_small_parameter line 139
  18. lemma OAI.Coulomb.countBootstrap_ratio_limit line 156
  19. lemma OAI.Coulomb.countBootstrap_ratio_identity line 165
  20. theorem OAI.Coulomb.countBootstrap_threshold line 185
  21. theorem OAI.Coulomb.atomic_screenCountParameter_uniform line 206