OAI/Combinatorics/MatchingCount/Machines/TreeColor.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.ExecutableSource.sourceTables_catalog line 13
  2. def OAI.MatchingFPRAS.ExecutableSource.coloredKey line 27
  3. def OAI.MatchingFPRAS.ExecutableSource.coloredKeyRealizer line 29
  4. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_coloredKey line 32
  5. def OAI.MatchingFPRAS.ExecutableSource.sourceRealKey line 43
  6. def OAI.MatchingFPRAS.ExecutableSource.sourceRealKeyRealizer line 46
  7. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceRealKey line 50
  8. lemma OAI.MatchingFPRAS.ExecutableSource.sourceRealKey_source line 60
  9. def OAI.MatchingFPRAS.ExecutableSource.sourceRealIndex line 79
  10. def OAI.MatchingFPRAS.ExecutableSource.keyLookup line 81
  11. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_keyLookup line 84
  12. def OAI.MatchingFPRAS.ExecutableSource.sourceRealIndexRealizer line 89
  13. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceRealIndex line 91
  14. lemma OAI.MatchingFPRAS.ExecutableSource.sourceRealIndex_source line 94
  15. theorem OAI.MatchingFPRAS.ExecutableSource.sourceRealIndex_post line 104