OAI/Probability/SwitchChain/PairArrayEncoding.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem315.DisjointBlock.pairCount line 11
  2. def OAI.Problem315.DisjointBlock.assignmentSet line 14
  3. def OAI.Problem315.DisjointBlock.outsideArray line 18
  4. theorem OAI.Problem315.DisjointBlock.pairCount_le_two line 24
  5. theorem OAI.Problem315.DisjointBlock.assignmentSet_subset line 28
  6. theorem OAI.Problem315.DisjointBlock.outsideArray_encode line 34
  7. theorem OAI.Problem315.DisjointBlock.pairCount_outsideArray line 43
  8. theorem OAI.Problem315.DisjointBlock.assignmentSet_outsideArray line 52
  9. def OAI.Problem315.DisjointBlock.arrayEquivAssignments line 65
  10. def OAI.Problem315.DisjointBlock.doubleSet line 85
  11. def OAI.Problem315.DisjointBlock.singleSet line 89
  12. theorem OAI.Problem315.DisjointBlock.outsideArray_first_sum line 93
  13. theorem OAI.Problem315.DisjointBlock.outsideArray_second_sum line 107