OAI/Computability/PerfectCompleteness/Construction/OriginalCutBucketReplacement.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.OriginalCutBucketReplacement.ownValues line 19
2. def OAI.PerfectCompleteness.OriginalCutBucketReplacement.replaceValues line 25
3. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.ownValues_replaceValues line 32
4. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.replaceValues_rootCalls line 41
5. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.replaceValues_lowerCalls line 54
6. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.selectedRows_reconstruct line 66
7. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.reconstruct_replaceValues line 93
8. def OAI.PerfectCompleteness.OriginalCutBucketReplacement.replaceRecord line 144
9. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.reconstructRecord_replace_outside line 151
10. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.reconstruct_outside_eq_of_nonown_eq line 163
11. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.selectedRows_reconstructRecord_replace line 231
12. theorem OAI.PerfectCompleteness.OriginalCutBucketReplacement.selectedMatrix_reconstructRecord_replace line 250