OAI/Computability/PerfectCompleteness/Reduction/FixedNativeHigh.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.FixedNativeHigh.flag_eq line 42
2. def OAI.PerfectCompleteness.FixedNativeHigh.questionUseful line 55
3. def OAI.PerfectCompleteness.FixedNativeHigh.probability line 60
4. theorem OAI.PerfectCompleteness.FixedNativeHigh.probability_eq_physical line 69
5. theorem OAI.PerfectCompleteness.FixedNativeHigh.probability_square_le line 88