OAI/Combinatorics/ThinTrees/Encoding/OrderedGraph.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Ordered graph.

  1. def OAI.AlgorithmicThinTrees.OrderedGraph.edgeEmbedding line 14
  2. def OAI.AlgorithmicThinTrees.OrderedGraph.restrict line 16
  3. def OAI.AlgorithmicThinTrees.OrderedGraph.liftEdges line 20
  4. def OAI.AlgorithmicThinTrees.OrderedGraph.lowerEdges line 22
  5. lemma OAI.AlgorithmicThinTrees.OrderedGraph.embedding_mem line 25
  6. lemma OAI.AlgorithmicThinTrees.OrderedGraph.embedding_surj line 27
  7. lemma OAI.AlgorithmicThinTrees.OrderedGraph.lift_univ line 32
  8. lemma OAI.AlgorithmicThinTrees.OrderedGraph.lift_lower line 36
  9. lemma OAI.AlgorithmicThinTrees.OrderedGraph.restrict_cut line 42
  10. lemma OAI.AlgorithmicThinTrees.OrderedGraph.restrict_cut_card line 51
  11. lemma OAI.AlgorithmicThinTrees.OrderedGraph.restrict_connected line 55
  12. lemma OAI.AlgorithmicThinTrees.OrderedGraph.restrict_spanningTree line 65
  13. lemma OAI.AlgorithmicThinTrees.OrderedGraph.restrict_packable line 81