OAI/Analysis/CoulombRadii/Packets/AtomicMesh.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Coulomb.atomicCellScale line 13
  2. lemma OAI.Coulomb.atomicCellScale_nonneg line 15
  3. lemma OAI.Coulomb.atomicCellScale_pos line 16
  4. lemma OAI.Coulomb.atomicCellScale_norm line 17
  5. lemma OAI.Coulomb.atomicCellScale_comparable line 19
  6. lemma OAI.Coulomb.atomicCellScale_near_nonzero line 30
  7. lemma OAI.Coulomb.atomicCellScale_nucleus_far line 40
  8. lemma OAI.Coulomb.exists_atomic_patch_mesh line 46
  9. def OAI.Coulomb.atomicPatchMesh line 66
  10. lemma OAI.Coulomb.atomicPatchMesh_norm line 67
  11. lemma OAI.Coulomb.atomicPatchMesh_covers line 69
  12. def OAI.Coulomb.atomicMeshCenter line 72
  13. lemma OAI.Coulomb.atomicMeshCenter_distance line 74
  14. lemma OAI.Coulomb.atomicMeshCenter_comparable line 79
  15. theorem OAI.Coulomb.atomicMesh_cover line 84
  16. lemma OAI.Coulomb.atomic_raw_exclusion_subset line 105