OAI/Probability/CriticalPercolation/Entropy/BinarySwitches.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BinaryLaw.switched line 15
2. lemma OAI.CriticalPercolation.BinaryLaw.switched_mono line 18
3. lemma OAI.CriticalPercolation.BinaryLaw.switched_insert line 21
4. def OAI.CriticalPercolation.BinaryLaw.targets line 44
5. lemma OAI.CriticalPercolation.BinaryLaw.canonical_misses_targets line 47
6. lemma OAI.CriticalPercolation.BinaryLaw.earlier_not_incident line 59
7. lemma OAI.CriticalPercolation.BinaryLaw.switched_earlier_incidence line 75
8. theorem OAI.CriticalPercolation.BinaryLaw.switched_contact_reconstruction line 89