OAI/Dynamics/ConditionalShuffle/OverlayModel.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Revealed.Overlay.isActive line 12
2. def OAI.Revealed.Overlay.xorCoins line 14
3. lemma OAI.Revealed.Overlay.xorCoins_occupied line 18
4. def OAI.Revealed.Overlay.multiplier line 35
5. def OAI.Revealed.Overlay.overlayRun line 40
6. def OAI.Revealed.Overlay.conditionalLaw line 48
7. def OAI.Revealed.Overlay.expectedTV line 52
8. abbrev OAI.Revealed.Overlay.OutsideLabels line 57
9. def OAI.Revealed.Overlay.standardLayout line 59
10. def OAI.Revealed.Overlay.worstCallTV line 62