OAI/Combinatorics/MatchingCount/Machines/TreeLabelTable.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_filterWithList line 8
  2. abbrev OAI.MatchingFPRAS.ExecutableHierarchy.LabelKey line 19
  3. abbrev OAI.MatchingFPRAS.ExecutableHierarchy.HierarchyInput line 20
  4. def OAI.MatchingFPRAS.ExecutableHierarchy.labelRoot line 22
  5. def OAI.MatchingFPRAS.ExecutableHierarchy.labelRootRealizer line 24
  6. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_labelRoot line 26
  7. def OAI.MatchingFPRAS.ExecutableHierarchy.fixedRoot line 32
  8. def OAI.MatchingFPRAS.ExecutableHierarchy.fixedRootRealizer line 33
  9. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_fixedRoot line 34
  10. def OAI.MatchingFPRAS.ExecutableHierarchy.labels line 37
  11. def OAI.MatchingFPRAS.ExecutableHierarchy.labelsRealizer line 39
  12. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_labels line 48
  13. lemma OAI.MatchingFPRAS.ExecutableHierarchy.mem_labels line 69
  14. lemma OAI.MatchingFPRAS.ExecutableHierarchy.labelRoot_matrixRep line 79