OAI/Dynamics/ConditionalShuffle/TwoColors.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Revealed.Color.ColorEnvironment line 11
2. def OAI.Revealed.Color.environmentTransport line 13
3. lemma OAI.Revealed.Color.environmentTransport_at line 18
4. def OAI.Revealed.Color.lawA line 26
5. def OAI.Revealed.Color.lawC line 30
6. def OAI.Revealed.Color.internalLaw line 34
7. lemma OAI.Revealed.Color.lawA_probability line 40
8. lemma OAI.Revealed.Color.lawC_probability line 44
9. theorem OAI.Revealed.Color.color_product line 49
10. theorem OAI.Revealed.Color.two_color_construction line 57