OAI/Computability/PerfectCompleteness/Foundations/CutSlotAssembly.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.CutSlotAssembly.fill line 16
2. theorem OAI.PerfectCompleteness.CutSlotAssembly.fill_at_cut line 22
3. theorem OAI.PerfectCompleteness.CutSlotAssembly.fill_restrict line 34
4. theorem OAI.PerfectCompleteness.CutSlotAssembly.fill_kept_eq line 48
5. def OAI.PerfectCompleteness.CutSlotAssembly.transport line 81