OAI/Computability/VertexCover/Reduction/PairSeedFiberCard.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.LabelCover.leftTemplate line 41
2. def OAI.VertexCover.LabelCover.rightTemplate line 46
3. theorem OAI.VertexCover.LabelCover.leftTemplate_mem line 51
4. theorem OAI.VertexCover.LabelCover.rightTemplate_mem line 56
5. def OAI.VertexCover.LabelCover.replaceSeed line 61
6. theorem OAI.VertexCover.LabelCover.query_update_left line 65
7. theorem OAI.VertexCover.LabelCover.query_update_right line 89
8. abbrev OAI.VertexCover.LabelCover.PrivateLists line 113
9. def OAI.VertexCover.LabelCover.PairSeedHit line 115
10. def OAI.VertexCover.LabelCover.pairSeedFiber line 120
11. theorem OAI.VertexCover.LabelCover.pairSeedFiber_card_le line 125