OAI/Computability/VertexCover/Analysis/StarCellRight.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.LabelCover.starLocalKey line 40
2. theorem OAI.VertexCover.LabelCover.starKey_apply line 48
3. def OAI.VertexCover.LabelCover.starCell line 52
4. theorem OAI.VertexCover.LabelCover.mem_starCell line 57
5. theorem OAI.VertexCover.LabelCover.mem_starFiber_iff_cells line 63
6. def OAI.VertexCover.LabelCover.starFiberEquiv line 74
7. theorem OAI.VertexCover.LabelCover.starFiber_card_product line 87
8. theorem OAI.VertexCover.LabelCover.starCell_nonempty line 94
9. theorem OAI.VertexCover.LabelCover.finiteMean_starFiber_product line 98
10. theorem OAI.VertexCover.LabelCover.starCell_nonincident line 111
11. theorem OAI.VertexCover.LabelCover.starCell_left line 124
12. theorem OAI.VertexCover.LabelCover.starCell_right line 134