OAI/Analysis/CoulombRadii/Screening/ScaledTest.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Coulomb.dirPartial_scaled line 15
  2. lemma OAI.Coulomb.dirPartial_const_mul line 27
  3. lemma OAI.Coulomb.coordinateLaplacian_scaled line 33
  4. def OAI.Coulomb.countTest line 51
  5. lemma OAI.Coulomb.countTest_smooth line 52
  6. lemma OAI.Coulomb.countTest_nonneg line 53
  7. lemma OAI.Coulomb.countTest_le_one line 54
  8. lemma OAI.Coulomb.countTest_one line 55
  9. lemma OAI.Coulomb.countTest_zero line 59
  10. lemma OAI.Coulomb.countTest_support line 63
  11. lemma OAI.Coulomb.countTest_compact line 70
  12. lemma OAI.Coulomb.testCharge_countTest line 73
  13. def OAI.Coulomb.countTestEnergy line 79
  14. lemma OAI.Coulomb.countTest_energy line 81