OAI/Combinatorics/TriangleRemoval/Process/ReindexSet.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpTerminalLeave.reindexSet line 17
  2. lemma OAI.SharpTerminalLeave.mem_reindexSet line 20
  3. lemma OAI.SharpTerminalLeave.image_reindexSet line 24
  4. lemma OAI.SharpTerminalLeave.reindexSet_card line 37
  5. lemma OAI.SharpTerminalLeave.reindexSet_inj line 43
  6. lemma OAI.SharpTerminalLeave.reindexSet_subset_iff line 47
  7. lemma OAI.SharpTerminalLeave.reindexSet_union line 57
  8. def OAI.SharpTerminalLeave.reindexTemplate line 62
  9. lemma OAI.SharpTerminalLeave.reindexTemplate_edges_card line 76
  10. lemma OAI.SharpTerminalLeave.reindexTemplate_roots_card line 82
  11. lemma OAI.SharpTerminalLeave.reindexTemplate_induced_card line 87