OAI/Computability/PerfectCompleteness/Sampling/SourceChildKernelLaw.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PerfectCompleteness.SourceChildKernelLaw.Physical line 21
2. def OAI.PerfectCompleteness.SourceChildKernelLaw.physical line 24
3. theorem OAI.PerfectCompleteness.SourceChildKernelLaw.physical_inl line 30
4. theorem OAI.PerfectCompleteness.SourceChildKernelLaw.physical_inr line 37
5. def OAI.PerfectCompleteness.SourceChildKernelLaw.physicalLaw line 44
6. theorem OAI.PerfectCompleteness.SourceChildKernelLaw.kernel_physical line 51
7. theorem OAI.PerfectCompleteness.SourceChildKernelLaw.kernels_physical line 93