OAI/Dynamics/ConditionalShuffle/ColorLayer.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Revealed.Color.Coloring line 9
  2. def OAI.Revealed.Color.after line 11
  3. def OAI.Revealed.Color.sameMask line 14
  4. lemma OAI.Revealed.Color.after_scatter line 17
  5. lemma OAI.Revealed.Color.after_masked line 22
  6. lemma OAI.Revealed.Color.mixed_coin_determined line 32
  7. lemma OAI.Revealed.Color.masked_color_row line 40
  8. def OAI.Revealed.Color.occupancy line 48
  9. def OAI.Revealed.Color.occupied line 55
  10. lemma OAI.Revealed.Color.occupied_zero line 58
  11. lemma OAI.Revealed.Color.occupied_succ line 59
  12. lemma OAI.Revealed.Color.occupied_run line 63
  13. lemma OAI.Revealed.Color.occupied_image line 71
  14. def OAI.Revealed.Color.resample line 74
  15. lemma OAI.Revealed.Color.resample_succ line 77
  16. lemma OAI.Revealed.Color.resample_observation line 81
  17. lemma OAI.Revealed.Color.resample_row line 97
  18. theorem OAI.Revealed.Color.conditional_resampling line 116