OAI/Combinatorics/MatchingCount/Sampling/TreeProbe.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.ExecutableSource.centralKey line 13
  2. def OAI.MatchingFPRAS.ExecutableSource.centralKeyRealizer line 15
  3. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_centralKey line 18
  4. lemma OAI.MatchingFPRAS.ExecutableSource.centralKey_source line 24
  5. def OAI.MatchingFPRAS.ExecutableSource.centralKeys line 34
  6. def OAI.MatchingFPRAS.ExecutableSource.centralKeysRealizer line 36
  7. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_centralKeys line 38
  8. lemma OAI.MatchingFPRAS.ExecutableSource.mem_centralKeys line 41
  9. def OAI.MatchingFPRAS.ExecutableSource.isCentral line 56
  10. def OAI.MatchingFPRAS.ExecutableSource.isCentralRealizer line 57
  11. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_isCentral line 61
  12. def OAI.MatchingFPRAS.ExecutableSource.probePart line 66
  13. def OAI.MatchingFPRAS.ExecutableSource.probePartRealizer line 68
  14. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_probePart line 72
  15. lemma OAI.MatchingFPRAS.ExecutableSource.probePart_source line 79