OAI/Probability/CriticalPercolation/Entropy/BinaryPrefix.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BinaryLaw.anchors_prefix_getElem line 15
2. lemma OAI.CriticalPercolation.BinaryLaw.node_prefix line 30
3. lemma OAI.CriticalPercolation.BinaryLaw.nodeMark_prefix line 35
4. lemma OAI.CriticalPercolation.BinaryLaw.marks_nodeMark line 47
5. lemma OAI.CriticalPercolation.BinaryLaw.targets_prefix line 57
6. lemma OAI.CriticalPercolation.BinaryLaw.current_prefix_anchor line 78