OAI/Probability/CriticalPercolation/Entropy/BinaryParents.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.InterpolationForest.Forest.parent_eq_previous line 13
2. def OAI.CriticalPercolation.BinaryLaw.descriptorActive line 39
3. lemma OAI.CriticalPercolation.BinaryLaw.activeNodes_eq_descriptor line 42
4. def OAI.CriticalPercolation.BinaryLaw.descriptorNode line 62
5. lemma OAI.CriticalPercolation.BinaryLaw.node_eq_descriptor line 65
6. def OAI.CriticalPercolation.BinaryLaw.descriptorParent line 75
7. lemma OAI.CriticalPercolation.BinaryLaw.node_colour_eq_iff_root line 86
8. theorem OAI.CriticalPercolation.BinaryLaw.active_parent_eq_descriptor line 97