OAI/Combinatorics/MatchingCount/Machines/TreeBindings.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.ExecutableSource.logicalEdges_eq_ofFn line 17
  2. def OAI.MatchingFPRAS.ExecutableSource.centralIndexArg line 38
  3. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_centralIndexArg line 40
  4. def OAI.MatchingFPRAS.ExecutableSource.centralIndex line 42
  5. def OAI.MatchingFPRAS.ExecutableSource.centralIndexRealizer line 43
  6. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_centralIndex line 46
  7. def OAI.MatchingFPRAS.ExecutableSource.centralBinding line 48
  8. def OAI.MatchingFPRAS.ExecutableSource.centralBindingRealizer line 50
  9. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_centralBinding line 52
  10. def OAI.MatchingFPRAS.ExecutableSource.sourceBindings line 55
  11. def OAI.MatchingFPRAS.ExecutableSource.sourceBindingsRealizer line 57
  12. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceBindings line 59
  13. lemma OAI.MatchingFPRAS.ExecutableSource.sourceBindings_source line 63
  14. abbrev OAI.MatchingFPRAS.ExecutableSource.GeneratedUpdateConfig line 78
  15. def OAI.MatchingFPRAS.ExecutableSource.generatedUpdateConfig line 79
  16. def OAI.MatchingFPRAS.ExecutableSource.generatedUpdateConfigRealizer line 81
  17. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_generatedUpdateConfig line 84
  18. lemma OAI.MatchingFPRAS.ExecutableSource.generatedUpdateConfig_source line 91