OAI/Computability/PerfectCompleteness/Foundations/StoppedProjectedArrays.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.StoppedProjectedArrays.mpr_heq line 15
2. theorem OAI.PerfectCompleteness.StoppedProjectedArrays.sourceProjection_heq line 20
3. theorem OAI.PerfectCompleteness.StoppedProjectedArrays.fillProjection_heq line 36
4. theorem OAI.PerfectCompleteness.StoppedProjectedArrays.arraysPullback_heq line 52
5. theorem OAI.PerfectCompleteness.StoppedProjectedArrays.nativeSlots_eq line 71
6. theorem OAI.PerfectCompleteness.StoppedProjectedArrays.projection_heq line 87
7. abbrev OAI.PerfectCompleteness.StoppedProjectedArrays.physicalArrays line 116
8. theorem OAI.PerfectCompleteness.StoppedProjectedArrays.arrays_physicalExperimentRead_heq line 137
9. theorem OAI.PerfectCompleteness.StoppedProjectedArrays.arrays_physicalExperimentRead_eq line 186