OAI/Computability/VertexCover/Machines/PowerLC.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.Machine.FixedLC.power line 44
2. theorem OAI.VertexCover.Machine.FixedLC.power_toLC line 54
3. def OAI.VertexCover.Machine.FixedLC.powerMap line 57
4. def OAI.VertexCover.Machine.FixedLC.powerRow line 59
5. def OAI.VertexCover.Machine.FixedLC.powerRowPoly line 64
6. theorem OAI.VertexCover.Machine.FixedLC.powerRow_correct line 83
7. def OAI.VertexCover.Machine.FixedLC.powerPoly line 93