OAI/Probability/CriticalPercolation/Criticality/RestrictedSeed.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.restrictedSeed line 19
2. lemma OAI.CriticalPercolation.BondGraph.restrictedSeed_mono line 22
3. lemma OAI.CriticalPercolation.BondGraph.measurableSet_restrictedSeed line 27
4. lemma OAI.CriticalPercolation.BondGraph.restrictedSeed_measurable line 31
5. lemma OAI.CriticalPercolation.BondGraph.seed_prediction_persists line 35
6. lemma OAI.CriticalPercolation.BondGraph.restrictedSeed_self line 53