OAI/Combinatorics/MatchingCount/Sampling/TreeDPRepresentation.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.ExecutableDP.privateFlag_perm line 8
  2. lemma OAI.MatchingFPRAS.ExecutableDP.sharedFlag_perm line 10
  3. lemma OAI.MatchingFPRAS.ExecutableDP.totalFlag_perm line 12
  4. lemma OAI.MatchingFPRAS.ExecutableDP.forallâ‚‚_filter line 15
  5. lemma OAI.MatchingFPRAS.ExecutableDP.privateNumber_rows line 26
  6. lemma OAI.MatchingFPRAS.ExecutableDP.sharedNumber_rows line 29
  7. lemma OAI.MatchingFPRAS.ExecutableDP.totalNumber_rows line 32
  8. lemma OAI.MatchingFPRAS.ExecutableDP.trim_rows line 35
  9. lemma OAI.MatchingFPRAS.ExecutableDP.update_rows line 38
  10. lemma OAI.MatchingFPRAS.ExecutableDP.run_rows line 42
  11. lemma OAI.MatchingFPRAS.ExecutableDP.count_rows line 50
  12. lemma OAI.MatchingFPRAS.ExecutableDP.run_perm line 53
  13. lemma OAI.MatchingFPRAS.ExecutableDP.count_perm line 60
  14. def OAI.MatchingFPRAS.ExecutableDP.orderedRep line 64
  15. lemma OAI.MatchingFPRAS.ExecutableDP.orderedRep_perm line 67
  16. lemma OAI.MatchingFPRAS.ExecutableDP.count_ordered line 78
  17. lemma OAI.MatchingFPRAS.ExecutableDP.count_represented line 83