OAI/Computability/PerfectCompleteness/Sampling/SourcePhysicalAssemblyLaw.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.kernelJoint_pushforward_sigma line 18
2. def OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.assembleLeft line 35
3. theorem OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.assembleLeft_eq_sourcePullback line 41
4. theorem OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.kernels_assembleLeft line 51
5. theorem OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.kernels_assembleLeft_false line 68
6. abbrev OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.Observation line 86
7. def OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.observe line 90
8. theorem OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.original_observe_kernel_law line 97
9. theorem OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.original_assembleLeft_law line 118
10. theorem OAI.PerfectCompleteness.SourcePhysicalAssemblyLaw.original_assembleLeft_false_law line 131