OAI/Analysis/CoulombRadii/Packets/ScreenBox.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Coulomb.AtomicScaleWindow line 15
  2. lemma OAI.Coulomb.AtomicScaleWindow.nonzero line 18
  3. lemma OAI.Coulomb.AtomicScaleWindow.div_lower line 27
  4. lemma OAI.Coulomb.AtomicScaleWindow.enlarge line 32
  5. lemma OAI.Coulomb.AtomicScaleWindow.near line 37
  6. lemma OAI.Coulomb.AtomicScaleWindow.mesh line 44
  7. lemma OAI.Coulomb.AtomicScaleWindow.mesh_near line 48
  8. lemma OAI.Coulomb.AtomicScaleWindow.mass line 57
  9. lemma OAI.Coulomb.AtomicScaleWindow.energy line 62
  10. def OAI.Coulomb.atomicRawValues line 67
  11. def OAI.Coulomb.atomicRawSup line 72
  12. lemma OAI.Coulomb.atomicRawValues_nonempty line 75
  13. lemma OAI.Coulomb.totalCharge_nonneg line 78
  14. lemma OAI.Coulomb.atomicRawValues_cap line 81
  15. lemma OAI.Coulomb.atomicRawValues_bdd line 101
  16. lemma OAI.Coulomb.atomicRawSup_nonneg line 105
  17. lemma OAI.Coulomb.atomicRawSup_cap line 110