OAI/Computability/VertexCover/Machines/ProfileCompat.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.LabelCover.Query.ProfilePair line 42
2. instance OAI.VertexCover.LabelCover.Query.(instance at line 49) line 49
3. def OAI.VertexCover.LabelCover.Query.LabelPair line 51
4. theorem OAI.VertexCover.LabelCover.Query.encode_at_u line 56
5. theorem OAI.VertexCover.LabelCover.Query.encode_at_v line 60
6. theorem OAI.VertexCover.LabelCover.Query.profilePair_iff line 64
7. theorem OAI.VertexCover.LabelCover.compatible_pair_iff line 104