OAI/Probability/RadialTransition/CellInteractions.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RadialTransition.cellHamiltonian line 19
  2. lemma OAI.RadialTransition.double_sum_update line 23
  3. lemma OAI.RadialTransition.cellHamiltonian_update line 49
  4. lemma OAI.RadialTransition.cellHamiltonian_stable line 81
  5. def OAI.RadialTransition.pairWithin line 134
  6. def OAI.RadialTransition.pairBetween line 138
  7. theorem OAI.RadialTransition.pairWithin_vacuum line 141
  8. theorem OAI.RadialTransition.pairBetween_vacuum line 145
  9. theorem OAI.RadialTransition.pairBetween_symm line 150
  10. lemma OAI.RadialTransition.continuous_particle_prod line 157
  11. lemma OAI.RadialTransition.continuous_pairWithin line 175
  12. lemma OAI.RadialTransition.continuous_pairBetween line 191
  13. lemma OAI.RadialTransition.pairBetween_lower line 204
  14. lemma OAI.RadialTransition.pairWithin_perturb_lower line 212
  15. lemma OAI.RadialTransition.pairWithin_core line 229
  16. def OAI.RadialTransition.pairCellEnergy line 252
  17. lemma OAI.RadialTransition.continuous_pairCellEnergy line 257
  18. theorem OAI.RadialTransition.pairCell_exponential_moment line 273