OAI/Dynamics/ConditionalShuffle/ColorSplit.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Revealed.Color.matrixSwap line 10
  2. lemma OAI.Revealed.Color.mean_maskedMatrix line 18
  3. def OAI.Revealed.Color.mergeHistory line 27
  4. lemma OAI.Revealed.Color.merge_succ line 30
  5. lemma OAI.Revealed.Color.mean_merge line 40
  6. def OAI.Revealed.Color.resampleTwo line 47
  7. def OAI.Revealed.Color.splitCoin line 50
  8. lemma OAI.Revealed.Color.resampleTwo_succ line 53
  9. lemma OAI.Revealed.Color.splitCoin_A line 61
  10. lemma OAI.Revealed.Color.splitCoin_C line 71
  11. lemma OAI.Revealed.Color.resampleTwo_occupancy line 81
  12. lemma OAI.Revealed.Color.resampleTwo_tag_color line 84
  13. lemma OAI.Revealed.Color.resampleTwo_A line 92
  14. lemma OAI.Revealed.Color.resampleTwo_C line 104
  15. lemma OAI.Revealed.Color.conditional_two_arrays line 116