OAI/Probability/CriticalPercolation/Entropy/BinarySupport.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BinaryLaw.Consistent line 14
2. lemma OAI.CriticalPercolation.BinaryLaw.consistent_append line 17
3. lemma OAI.CriticalPercolation.BinaryLaw.consistent_bases line 35
4. lemma OAI.CriticalPercolation.BinaryLaw.kernel_colour_consistent line 48
5. lemma OAI.CriticalPercolation.BinaryLaw.density_consistent line 70
6. lemma OAI.CriticalPercolation.BinaryLaw.endpoint_labels line 92
7. lemma OAI.CriticalPercolation.BinaryLaw.endpoint_separated line 108
8. def OAI.CriticalPercolation.BinaryLaw.sideWord line 116
9. lemma OAI.CriticalPercolation.BinaryLaw.sideWord_length line 120
10. lemma OAI.CriticalPercolation.BinaryLaw.terminal_append line 125
11. lemma OAI.CriticalPercolation.BinaryLaw.interval_eq_terminal line 131
12. lemma OAI.CriticalPercolation.BinaryLaw.interval_adjacent line 137