OAI/Probability/CriticalPercolation/Modular/MarkedTiltedTransport.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.expected_mark_transport_aut line 18
2. lemma OAI.CriticalPercolation.BondGraph.OrbitRepresentatives.mark_tilted_transport line 29
3. lemma OAI.CriticalPercolation.BondGraph.marks_ae_of_law_ae line 43