OAI/Dynamics/ConditionalShuffle/OverlayLaw.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Revealed.Overlay.maskedXor line 10
2. lemma OAI.Revealed.Overlay.maskedXor_involutive line 13
3. def OAI.Revealed.Overlay.predictableHistory line 19
4. lemma OAI.Revealed.Overlay.predictableHistory_injective line 26
5. def OAI.Revealed.Overlay.predictableEquiv line 44
6. lemma OAI.Revealed.Overlay.predictable_law line 51
7. def OAI.Revealed.Overlay.modifiedHistory line 59
8. lemma OAI.Revealed.Overlay.modifiedHistory_succ line 63
9. theorem OAI.Revealed.Overlay.overlay_physical_law line 73
10. lemma OAI.Revealed.Overlay.modified_outside line 81
11. lemma OAI.Revealed.Overlay.modified_inside line 93
12. theorem OAI.Revealed.Overlay.overlay_incoming_factor line 105