OAI/Analysis/CoulombRadii/Propagation/InitialMesh.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.NeutralAtom.exists_initial_band_mesh line 12
  2. theorem OAI.NeutralAtom.initial_posterior_mesh_event line 30
  3. lemma OAI.NeutralAtom.retainedInverseOffset_seventh_tendsto line 82
  4. def OAI.NeutralAtom.initialAtomicRadius line 93
  5. lemma OAI.NeutralAtom.initialAtomicRadius_pos line 95
  6. lemma OAI.NeutralAtom.initialAtomicRadius_tendsto line 98
  7. lemma OAI.NeutralAtom.initialAtomicRadius_cubic line 108
  8. lemma OAI.NeutralAtom.initialAtomicRadius_seventh line 115
  9. lemma OAI.NeutralAtom.initialAtomicRadius_offset_eventually line 122
  10. lemma OAI.NeutralAtom.initialAtomicRadius_potential_scale line 142
  11. theorem OAI.NeutralAtom.physical_initial_event line 149