OAI/Probability/CriticalPercolation/Entropy/BinaryLikelihood.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BinaryLaw.inversePenalty line 18
2. lemma OAI.CriticalPercolation.BinaryLaw.inversePenalty_nonneg line 22
3. lemma OAI.CriticalPercolation.BinaryLaw.supported_contactTotal_pos line 28
4. lemma OAI.CriticalPercolation.BinaryLaw.supported_stage_likelihood line 39
5. lemma OAI.CriticalPercolation.BinaryLaw.supported_step_likelihood line 54