OAI/Combinatorics/TriangleRemoval/Tracking/RootedTemplateEncoding.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpTerminalLeave.rootedTemplateEncoding line 17
  2. lemma OAI.SharpTerminalLeave.rootedTemplateEncoding_injective line 20
  3. instance OAI.SharpTerminalLeave.rootedTemplateFintype line 28
  4. abbrev OAI.SharpTerminalLeave.RootedCountIndex line 31
  5. def OAI.SharpTerminalLeave.rootedFamilySize line 34
  6. lemma OAI.SharpTerminalLeave.rootInjection_card_le line 37
  7. theorem OAI.SharpTerminalLeave.rootedCountIndex_card_le line 44
  8. def OAI.SharpTerminalLeave.rootedIndexRequired line 66
  9. lemma OAI.SharpTerminalLeave.rootedIndex_copyCount line 69