OAI/Computability/VertexCover/Machines/CloudFamily.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Machine.CloudMachine.erase_resize line 44
2. def OAI.VertexCover.Machine.CloudMachine.cloudFamily line 49
3. def OAI.VertexCover.Machine.CloudMachine.cloudFamilyPoly line 52
4. theorem OAI.VertexCover.Machine.CloudMachine.cloudFamily_source line 59
5. def OAI.VertexCover.Machine.CloudMachine.cloudLookup line 71
6. def OAI.VertexCover.Machine.CloudMachine.cloudLookupPoly line 75
7. theorem OAI.VertexCover.Machine.CloudMachine.cloudLookup_source line 85