OAI/Probability/CriticalPercolation/Gluing/SourceGraph.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.withSource line 16
2. lemma OAI.CriticalPercolation.BondGraph.withSource_local line 21
3. lemma OAI.CriticalPercolation.BondGraph.withSource_original_adj line 44
4. lemma OAI.CriticalPercolation.BondGraph.withSource_original_reachable line 50
5. lemma OAI.CriticalPercolation.BondGraph.withSource_seedHit line 55
6. lemma OAI.CriticalPercolation.BondGraph.withSource_incident line 73
7. lemma OAI.CriticalPercolation.BondGraph.withSource_trial_reachable line 82