OAI/Combinatorics/TriangleRemoval/Process/SuffixBoundary.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpTerminalLeave.BirthGraph.suffixBoundary line 19
  2. def OAI.SharpTerminalLeave.BirthGraph.suffixVertices line 22
  3. def OAI.SharpTerminalLeave.BirthGraph.suffixEdges line 25
  4. lemma OAI.SharpTerminalLeave.BirthGraph.suffixBoundary_disjoint line 28
  5. lemma OAI.SharpTerminalLeave.BirthGraph.mem_suffixBoundary line 31
  6. lemma OAI.SharpTerminalLeave.BirthGraph.suffixBoundary_card line 37
  7. lemma OAI.SharpTerminalLeave.BirthGraph.suffixVertices_card line 59
  8. lemma OAI.SharpTerminalLeave.BirthGraph.suffixEdges_simple line 66
  9. lemma OAI.SharpTerminalLeave.BirthGraph.suffixEdges_subset_vertices line 74
  10. lemma OAI.SharpTerminalLeave.BirthGraph.suffixEdges_touch line 90
  11. lemma OAI.SharpTerminalLeave.BirthGraph.suffixBoundary_independent line 100