OAI/Computability/MinUncut/Games/JointHintBound.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.Outer.raw_background_expect line 14
2. lemma OAI.MinUncut.Outer.actual_joint_law line 33
3. theorem OAI.MinUncut.Outer.actual_joint_smoothness line 57
4. lemma OAI.MinUncut.Outer.expect_reindex line 91
5. lemma OAI.MinUncut.Outer.pulled_background_reindex line 98
6. lemma OAI.MinUncut.Outer.actual_background_reindex line 107
7. theorem OAI.MinUncut.Outer.actual_joint_smoothness_index line 120