OAI/Probability/CriticalPercolation/Entropy/BinaryReverseKernels.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CriticalPercolation.BinaryLaw.pivotGuess line 21
  2. lemma OAI.CriticalPercolation.BinaryLaw.pivotGuess_subprobability line 26
  3. def OAI.CriticalPercolation.BinaryLaw.inverseKernel line 37
  4. def OAI.CriticalPercolation.BinaryLaw.inverseUpdate line 44
  5. lemma OAI.CriticalPercolation.BinaryLaw.inverseKernel_nonneg line 51
  6. lemma OAI.CriticalPercolation.BinaryLaw.inverseKernel_sum line 64
  7. def OAI.CriticalPercolation.BinaryLaw.contactTotal line 75
  8. def OAI.CriticalPercolation.BinaryLaw.inactiveKernel line 78
  9. lemma OAI.CriticalPercolation.BinaryLaw.contactTotal_nonneg line 84
  10. lemma OAI.CriticalPercolation.BinaryLaw.inactiveKernel_nonneg line 89
  11. lemma OAI.CriticalPercolation.BinaryLaw.inactiveKernel_sum line 101
  12. def OAI.CriticalPercolation.BinaryLaw.inverseReference line 110
  13. lemma OAI.CriticalPercolation.BinaryLaw.inverseReference_nonneg line 115
  14. lemma OAI.CriticalPercolation.BinaryLaw.inverseReference_marginal line 122