OAI/Computability/MatchingCount/RawOddCut.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.BinaryMatching.Raw.OddArg line 9
  2. abbrev OAI.BinaryMatching.Raw.OddJoin line 10
  3. def OAI.BinaryMatching.Raw.oddExpand line 12
  4. def OAI.BinaryMatching.Raw.oddCombine line 20
  5. def OAI.BinaryMatching.Raw.oddValue line 22
  6. theorem OAI.BinaryMatching.Raw.oddValue_rep line 25
  7. theorem OAI.BinaryMatching.Raw.oddCalls_rep line 46
  8. theorem OAI.BinaryMatching.Raw.oddCost_bound line 61