OAI/Computability/PerfectCompleteness/Foundations/SourcePhysicalCallExtension.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PerfectCompleteness.SourcePhysicalCallExtension.Tagged line 20
2. def OAI.PerfectCompleteness.SourcePhysicalCallExtension.forget line 25
3. theorem OAI.PerfectCompleteness.SourcePhysicalCallExtension.forget_flags line 32
4. theorem OAI.PerfectCompleteness.SourcePhysicalCallExtension.forget_law line 36
5. theorem OAI.PerfectCompleteness.SourcePhysicalCallExtension.kernels_forget line 55
6. theorem OAI.PerfectCompleteness.SourcePhysicalCallExtension.kernels_observe_forget line 67
7. theorem OAI.PerfectCompleteness.SourcePhysicalCallExtension.kernels_probability line 79