OAI/Combinatorics/ThinTrees/ThresholdChain.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StrongThinTree.MultiGraph.thresholdEdges line 12
2. def OAI.StrongThinTree.MultiGraph.rankedEdges line 13
3. lemma OAI.StrongThinTree.MultiGraph.rankedEdges_mono line 14
4. lemma OAI.StrongThinTree.MultiGraph.rankedEdges_full line 17
5. lemma OAI.StrongThinTree.MultiGraph.rankedEdges_threshold line 21
6. def OAI.StrongThinTree.MultiGraph.packingChain line 41
7. lemma OAI.StrongThinTree.MultiGraph.packingChain_local line 46
8. lemma OAI.StrongThinTree.MultiGraph.packingChain_crossing line 49
9. lemma OAI.StrongThinTree.MultiGraph.treePackable_mono_edges line 62
10. lemma OAI.StrongThinTree.MultiGraph.treePackable_mono_count line 67
11. lemma OAI.StrongThinTree.MultiGraph.packingChain_root line 72