OAI/Probability/CriticalPercolation/Gluing/RelayMoves.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.open_induced_adj line 18
2. lemma OAI.CriticalPercolation.BondGraph.walk_reachable_induced line 31
3. def OAI.CriticalPercolation.BondGraph.coordinateMove line 42
4. def OAI.CriticalPercolation.BondGraph.relayRegion line 47
5. def OAI.CriticalPercolation.BondGraph.relayMark line 50
6. def OAI.CriticalPercolation.BondGraph.relayDomain line 53
7. lemma OAI.CriticalPercolation.BondGraph.relay_collar_bounds line 56
8. lemma OAI.CriticalPercolation.BondGraph.full_relay_move line 64
9. lemma OAI.CriticalPercolation.BondGraph.last_relay_move line 93