OAI/Combinatorics/MatchingCount/Machines/TreePortion.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.ExecutableSource.coloredRow line 12
  2. def OAI.MatchingFPRAS.ExecutableSource.coloredRowRealizer line 14
  3. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_coloredRow line 16
  4. def OAI.MatchingFPRAS.ExecutableSource.coloredRows line 24
  5. def OAI.MatchingFPRAS.ExecutableSource.coloredRowsRealizer line 26
  6. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_coloredRows line 28
  7. def OAI.MatchingFPRAS.ExecutableSource.colorContribution line 37
  8. def OAI.MatchingFPRAS.ExecutableSource.colorContributionRealizer line 39
  9. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_colorContribution line 42
  10. def OAI.MatchingFPRAS.ExecutableSource.realPart line 48
  11. def OAI.MatchingFPRAS.ExecutableSource.realPartRealizer line 50
  12. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_realPart line 52
  13. lemma OAI.MatchingFPRAS.ExecutableSource.coloredRow_source line 57
  14. lemma OAI.MatchingFPRAS.ExecutableSource.realPart_source line 69