OAI/Computability/PerfectCompleteness/Foundations/WholeArrayRawAssembly.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.WholeArrayRawAssembly.mergedBuckets line 19
2. theorem OAI.PerfectCompleteness.WholeArrayRawAssembly.mergedBuckets_step line 28
3. theorem OAI.PerfectCompleteness.WholeArrayRawAssembly.upper_rows_split line 41
4. theorem OAI.PerfectCompleteness.WholeArrayRawAssembly.arrays_exposedRead line 95
5. theorem OAI.PerfectCompleteness.WholeArrayRawAssembly.arrays_law line 110
6. theorem OAI.PerfectCompleteness.WholeArrayRawAssembly.joint_readout_law line 128
7. theorem OAI.PerfectCompleteness.WholeArrayRawAssembly.raw_probability line 148
8. theorem OAI.PerfectCompleteness.WholeArrayRawAssembly.raw_expectation line 158
9. theorem OAI.PerfectCompleteness.WholeArrayRawAssembly.joint_expectation line 168