OAI/Combinatorics/TriangleRemoval/Process/TriangleLiftCount.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpTerminalLeave.triangleLiftCount line 18
  2. theorem OAI.SharpTerminalLeave.copyCount_triangleLift_drift line 22
  3. abbrev OAI.SharpTerminalLeave.TriangleLiftIndex line 67
  4. def OAI.SharpTerminalLeave.triangleLiftRequired line 71
  5. lemma OAI.SharpTerminalLeave.intact_union line 75
  6. lemma OAI.SharpTerminalLeave.triangleDegree_eq_intact_sum line 82
  7. theorem OAI.SharpTerminalLeave.triangleLiftCount_eq_copyCount line 97
  8. lemma OAI.SharpTerminalLeave.triangleLiftRequired_card_le line 127
  9. lemma OAI.SharpTerminalLeave.copyEdgeLoad_eq_subfamily line 142
  10. theorem OAI.SharpTerminalLeave.copyCount_triangleLift_drift_all line 154
  11. lemma OAI.SharpTerminalLeave.rootedCount_triangleLift_drift line 168