OAI/Dynamics/ConditionalShuffle/OverlayConditioning.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Revealed.Overlay.prefixMean line 11
2. lemma OAI.Revealed.Overlay.prefixMean_eq line 17
3. def OAI.Revealed.Overlay.preCallLayout line 34
4. def OAI.Revealed.Overlay.preCallRisk line 38
5. lemma OAI.Revealed.Overlay.preCallRisk_eq line 44
6. lemma OAI.Revealed.Overlay.preCallRisk_le line 49
7. theorem OAI.Revealed.Overlay.overlay_call_uniform_prehistory line 56