OAI/Combinatorics/MatchingCount/Algorithm/FiniteTrial.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MatchingFPRAS.FiniteTrial.Layer line 20
  2. def OAI.MatchingFPRAS.FiniteTrial.Layer.good line 30
  3. def OAI.MatchingFPRAS.FiniteTrial.firstLayer line 34
  4. def OAI.MatchingFPRAS.FiniteTrial.Layer.append line 42
  5. theorem OAI.MatchingFPRAS.FiniteTrial.Layer.append_good line 53
  6. theorem OAI.MatchingFPRAS.FiniteTrial.Layer.append_failure line 64
  7. def OAI.MatchingFPRAS.FiniteTrial.layers line 75
  8. theorem OAI.MatchingFPRAS.FiniteTrial.layers_failure line 79
  9. def OAI.MatchingFPRAS.FiniteTrial.output line 95
  10. lemma OAI.MatchingFPRAS.FiniteTrial.output_nonneg line 98
  11. def OAI.MatchingFPRAS.FiniteTrial.Accurate line 102
  12. theorem OAI.MatchingFPRAS.FiniteTrial.good_output line 105
  13. theorem OAI.MatchingFPRAS.FiniteTrial.actual_finite_trial_failure line 113