OAI/Combinatorics/ThinTrees/ExtractionCriterion.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StrongThinTree.MultiGraph.treePackable_edgeConnected line 12
2. lemma OAI.StrongThinTree.MultiGraph.packable_of_parts_le_one line 21
3. lemma OAI.StrongThinTree.MultiGraph.consistent_packable line 36
4. theorem OAI.StrongThinTree.MultiGraph.extraction_from_response_threshold line 77