OAI/Combinatorics/MatchingCount/Algorithm/TreeNumericStatistics.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.TreeTyped.Numbered.extend line 9
  2. lemma OAI.MatchingFPRAS.TreeTyped.Numbered.extend_index line 11
  3. lemma OAI.MatchingFPRAS.NumericMarking.numericMarks_eq line 21
  4. lemma OAI.MatchingFPRAS.NumericMarking.zero_numbered line 25
  5. lemma OAI.MatchingFPRAS.NumericMarking.scalarA_numbered line 34
  6. lemma OAI.MatchingFPRAS.NumericMarking.scalarD_numbered line 42
  7. abbrev OAI.MatchingFPRAS.NumericMarking.Reweights line 51
  8. def OAI.MatchingFPRAS.NumericMarking.reweight line 52
  9. def OAI.MatchingFPRAS.NumericMarking.reweightRealizer line 53
  10. lemma OAI.MatchingFPRAS.NumericMarking.polynomial_reweight line 54
  11. abbrev OAI.MatchingFPRAS.NumericMarking.Inputs line 55
  12. def OAI.MatchingFPRAS.NumericMarking.statistics line 56
  13. def OAI.MatchingFPRAS.NumericMarking.statisticsRealizer line 57
  14. lemma OAI.MatchingFPRAS.NumericMarking.polynomial_statistics line 58
  15. theorem OAI.MatchingFPRAS.NumericMarking.statistics_post line 60