OAI/Dynamics/ConditionalShuffle/OverlayFiber.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Revealed.Overlay.mask line 11
2. def OAI.Revealed.Overlay.resample line 14
3. lemma OAI.Revealed.Overlay.resample_false line 17
4. lemma OAI.Revealed.Overlay.resample_occupied line 26
5. lemma OAI.Revealed.Overlay.mask_false_witness line 35
6. lemma OAI.Revealed.Overlay.resample_obs line 49
7. lemma OAI.Revealed.Overlay.resample_row line 58
8. lemma OAI.Revealed.Overlay.resample_kernel line 81
9. def OAI.Revealed.Overlay.xorEquiv line 90
10. lemma OAI.Revealed.Overlay.xor_resample line 96
11. lemma OAI.Revealed.Overlay.mask_frame line 107
12. lemma OAI.Revealed.Overlay.xor_kernel line 116