OAI/Computability/PerfectCompleteness/Repetition/CleanPhysicalHighEvent.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.CleanPhysicalHighEvent.output_answerEquiv line 24
2. theorem OAI.PerfectCompleteness.CleanPhysicalHighEvent.fullRank_answerEquiv line 34
3. theorem OAI.PerfectCompleteness.CleanPhysicalHighEvent.highMeeting_answerEquiv line 45
4. def OAI.PerfectCompleteness.CleanPhysicalHighEvent.highEvent line 68
5. theorem OAI.PerfectCompleteness.CleanPhysicalHighEvent.physical_fullRank line 76
6. theorem OAI.PerfectCompleteness.CleanPhysicalHighEvent.highEvent_physicalAnswerEquiv line 86
7. theorem OAI.PerfectCompleteness.CleanPhysicalHighEvent.probability_pairKernel line 104
8. theorem OAI.PerfectCompleteness.CleanPhysicalHighEvent.mean_probability_eq line 116