OAI/Computability/PerfectCompleteness/Sampling/TaggedKernelRebuildLaw.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.TaggedKernelRebuildLaw.probability_eq_expectation line 15
2. theorem OAI.PerfectCompleteness.TaggedKernelRebuildLaw.expectation_sigmaLaw line 21
3. theorem OAI.PerfectCompleteness.TaggedKernelRebuildLaw.expectation_kernelJoint line 30
4. theorem OAI.PerfectCompleteness.TaggedKernelRebuildLaw.expectation_rebuild line 37
5. theorem OAI.PerfectCompleteness.TaggedKernelRebuildLaw.fiber_rebuild_law line 80
6. theorem OAI.PerfectCompleteness.TaggedKernelRebuildLaw.rebuild_law line 99