OAI/Probability/SKGap/Terminal/PairConditioning.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SKGap.pairUpdate line 13
  2. lemma OAI.SKGap.pairUpdate_overwrite line 16
  3. lemma OAI.SKGap.pairUpdate_left line 25
  4. lemma OAI.SKGap.pairUpdate_right line 27
  5. lemma OAI.SKGap.sum_spin_update line 30
  6. lemma OAI.SKGap.sum_pairUpdate line 39
  7. def OAI.SKGap.pairConditionalMean line 45
  8. lemma OAI.SKGap.pairConditionalMean_update line 50
  9. lemma OAI.SKGap.pairConditional_partition_pos line 55
  10. lemma OAI.SKGap.expectation_pairConditionalMean line 61
  11. lemma OAI.SKGap.pairUpdate_hamiltonian line 77
  12. lemma OAI.SKGap.pairUpdate_localField₁ line 91
  13. lemma OAI.SKGap.pairUpdate_localField₂ line 102
  14. lemma OAI.SKGap.pairUpdate_gradient₁ line 110
  15. lemma OAI.SKGap.pairUpdate_gradient₂ line 122
  16. lemma OAI.SKGap.pairConditionalMean_boltzmann line 128