OAI/Combinatorics/ThinTrees/Hierarchy.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StrongThinTree.MultiGraph.inducedEdges line 14
2. def OAI.StrongThinTree.MultiGraph.EdgeConnectedReal line 17
3. lemma OAI.StrongThinTree.MultiGraph.mem_inducedEdges line 20
4. lemma OAI.StrongThinTree.MultiGraph.cut_internal_split line 23
5. def OAI.StrongThinTree.MultiGraph.VertexPartition line 60
6. lemma OAI.StrongThinTree.MultiGraph.vertexPartition_singleton line 64
7. lemma OAI.StrongThinTree.MultiGraph.vertexPartition_union line 74
8. lemma OAI.StrongThinTree.MultiGraph.connected_partition line 98
9. def OAI.StrongThinTree.MultiGraph.endpointMass line 144
10. def OAI.StrongThinTree.MultiGraph.volume line 147
11. lemma OAI.StrongThinTree.MultiGraph.partition_point_mass line 149
12. lemma OAI.StrongThinTree.MultiGraph.volume_partition line 165
13. lemma OAI.StrongThinTree.MultiGraph.volume_eq_boundary line 174
14. lemma OAI.StrongThinTree.MultiGraph.cut_complement_in line 188
15. lemma OAI.StrongThinTree.MultiGraph.outside_connected_partition line 194
16. structure OAI.StrongThinTree.MultiGraph.Hierarchy line 236
17. lemma OAI.StrongThinTree.MultiGraph.routed_variation_lower line 255