OAI/Computability/PerfectCompleteness/Sampling/SourcePhysicalWholeLaw.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PerfectCompleteness.SourcePhysicalWholeLaw.Raw line 24
2. def OAI.PerfectCompleteness.SourcePhysicalWholeLaw.rawLaw line 28
3. def OAI.PerfectCompleteness.SourcePhysicalWholeLaw.nativeBlockLaw line 35
4. def OAI.PerfectCompleteness.SourcePhysicalWholeLaw.observeLeft line 42
5. theorem OAI.PerfectCompleteness.SourcePhysicalWholeLaw.observeLeft_law line 51
6. theorem OAI.PerfectCompleteness.SourcePhysicalWholeLaw.nativeBlockLaw_false line 93
7. theorem OAI.PerfectCompleteness.SourcePhysicalWholeLaw.observeLeft_false_law line 103