OAI/Computability/VertexCover/Reduction/PairHitsProbability.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.LabelCover.Decoding.leftAt line 46
2. def OAI.VertexCover.LabelCover.Decoding.rightAt line 49
3. def OAI.VertexCover.LabelCover.Decoding.PairHit line 52
4. def OAI.VertexCover.LabelCover.Decoding.pairHits line 56
5. theorem OAI.VertexCover.LabelCover.Decoding.pairHit_of_selection line 60
6. theorem OAI.VertexCover.LabelCover.Decoding.pairHit_decodes line 74
7. theorem OAI.VertexCover.LabelCover.Decoding.pairHits_card_le line 90
8. theorem OAI.VertexCover.LabelCover.Decoding.pairHits_probability_le line 116