OAI/Combinatorics/MatchingCount/Tapes/OnlineComposition.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.OnlineStack.Executes.relabel line 12
  2. lemma OAI.MatchingFPRAS.OnlineStack.Executes.of_run line 31
  3. structure OAI.MatchingFPRAS.OnlineProc.Proc line 55
  4. def OAI.MatchingFPRAS.OnlineProc.deterministic line 58
  5. def OAI.MatchingFPRAS.OnlineProc.seq line 59
  6. def OAI.MatchingFPRAS.OnlineProc.Exec line 65
  7. lemma OAI.MatchingFPRAS.OnlineProc.exec_deterministic line 70
  8. lemma OAI.MatchingFPRAS.OnlineProc.Exec.mono line 83
  9. lemma OAI.MatchingFPRAS.OnlineProc.Exec.seq line 88