OAI/Combinatorics/TriangleRemoval/Embeddings/GraphEmbeddings.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpTerminalLeave.graphEmbeddings line 23
  2. def OAI.SharpTerminalLeave.rootedEmbeddingFiber line 27
  3. lemma OAI.SharpTerminalLeave.mem_graphEmbeddings line 34
  4. lemma OAI.SharpTerminalLeave.mem_rootedEmbeddingFiber line 39
  5. lemma OAI.SharpTerminalLeave.walk_crosses_finset line 47
  6. lemma OAI.SharpTerminalLeave.connected_crosses_finset line 57
  7. lemma OAI.SharpTerminalLeave.root_fiber_fix_one line 65
  8. theorem OAI.SharpTerminalLeave.rootedEmbeddingFiber_le line 88