OAI/Dynamics/ConditionalShuffle/OverlayGauge.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Revealed.Overlay.step_relative_roundtrip_cons line 11
2. lemma OAI.Revealed.Overlay.step_relative_roundtrip line 27
3. lemma OAI.Revealed.Overlay.multiplier_forward line 32
4. lemma OAI.Revealed.Overlay.multiplier_factor line 46
5. lemma OAI.Revealed.Overlay.multiplier_gauge line 56
6. def OAI.Revealed.Overlay.xorIncrement line 66
7. lemma OAI.Revealed.Overlay.xorIncrement_law line 70
8. lemma OAI.Revealed.Overlay.xorCoins_frame line 74
9. lemma OAI.Revealed.Overlay.observed_base line 81
10. lemma OAI.Revealed.Overlay.overlayRun_gauge line 88