OAI/Combinatorics/MatchingCount/Machines/TreePredicate.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.TreeTyped.boolNot line 11
  2. def OAI.MatchingFPRAS.TreeTyped.boolAnd line 13
  3. def OAI.MatchingFPRAS.TreeTyped.natEqual line 15
  4. def OAI.MatchingFPRAS.TreeTyped.any line 27
  5. def OAI.MatchingFPRAS.TreeTyped.membership line 42
  6. def OAI.MatchingFPRAS.TreeTyped.countTrue line 52
  7. def OAI.MatchingFPRAS.TreeTyped.countWith line 55
  8. def OAI.MatchingFPRAS.TreeTyped.listSum line 60
  9. def OAI.MatchingFPRAS.TreeTyped.listProd line 70