OAI/Combinatorics/TriangleRemoval/Embeddings/TriangleGrowth.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.SharpTerminalLeave.TriangleGrowth line 17
  2. def OAI.SharpTerminalLeave.TriangleGrowth.roots line 46
  3. theorem OAI.SharpTerminalLeave.TriangleGrowth.mem_roots line 48
  4. def OAI.SharpTerminalLeave.TriangleGrowth.older line 51
  5. lemma OAI.SharpTerminalLeave.TriangleGrowth.lifted_image line 60
  6. lemma OAI.SharpTerminalLeave.TriangleGrowth.lifted_card line 72
  7. theorem OAI.SharpTerminalLeave.TriangleGrowth.older_invariants line 83
  8. def OAI.SharpTerminalLeave.TriangleGrowth.birthGraph line 154
  9. theorem OAI.SharpTerminalLeave.TriangleGrowth.parentType_eq line 164