OAI/Analysis/CoulombRadii/Screening/CountUnits.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Coulomb.localCount_cover line 15
  2. lemma OAI.Coulomb.expectedPopulation_cover line 30
  3. def OAI.Coulomb.screenCountRatio line 47
  4. def OAI.Coulomb.screenCountParameter line 50
  5. lemma OAI.Coulomb.screenCountRatio_nonneg line 53
  6. lemma OAI.Coulomb.screenCountRatio_le line 60
  7. lemma OAI.Coulomb.screenCountParameter_ge_one line 70
  8. lemma OAI.Coulomb.screenCountParameter_le line 73
  9. lemma OAI.Coulomb.screenCountParameter_controls line 79
  10. lemma OAI.Coulomb.screenCountParameter_le_of line 89
  11. lemma OAI.Coulomb.atomicPatch_population line 100