OAI/Probability/CriticalPercolation/GraphTopology/GraphAutomorphismTopology.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.GraphTopology.continuous_variable_eval line 13
2. def OAI.CriticalPercolation.GraphTopology.coordinates line 18
3. def OAI.CriticalPercolation.GraphTopology.autTopology line 20
4. lemma OAI.CriticalPercolation.GraphTopology.coordinates_embedding line 26
5. lemma OAI.CriticalPercolation.GraphTopology.continuous_eval line 35
6. lemma OAI.CriticalPercolation.GraphTopology.continuous_inv_eval line 39
7. lemma OAI.CriticalPercolation.GraphTopology.coordinates_range line 43
8. lemma OAI.CriticalPercolation.GraphTopology.coordinates_closed line 55
9. lemma OAI.CriticalPercolation.GraphTopology.coordinates_closedEmbedding line 72
10. instance OAI.CriticalPercolation.GraphTopology.aut_t2 line 75
11. instance OAI.CriticalPercolation.GraphTopology.aut_topologicalGroup line 77
12. lemma OAI.CriticalPercolation.GraphTopology.compact_coordinate_bounds line 96
13. lemma OAI.CriticalPercolation.GraphTopology.isClosed_eval_mem line 102
14. lemma OAI.CriticalPercolation.GraphTopology.isOpen_eval_mem line 106