OAI/Analysis/CoulombRadii/Propagation/TfReaction.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.NeutralAtom.tfReaction line 15
  2. def OAI.NeutralAtom.cutoffReaction line 17
  3. def OAI.NeutralAtom.screenedPotential line 20
  4. def OAI.NeutralAtom.barrierSource line 23
  5. theorem OAI.NeutralAtom.tfReaction_nonneg line 27
  6. theorem OAI.NeutralAtom.tfReaction_monotone line 32
  7. theorem OAI.NeutralAtom.tfReaction_continuous line 40
  8. theorem OAI.NeutralAtom.cutoffReaction_locallyIntegrable line 44
  9. theorem OAI.NeutralAtom.screenedPotential_measurable line 59
  10. theorem OAI.NeutralAtom.screenedPotential_upper line 65
  11. theorem OAI.NeutralAtom.barrier_difference_weakGE line 78
  12. theorem OAI.NeutralAtom.positive_barrier_comparison line 122