OAI/Computability/VertexCover/PCP/BinaryCoordinates.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.UniqueGames.Integration.BinaryCoordinates.Coordinates line 9
2. def OAI.UniqueGames.Integration.BinaryCoordinates.pack line 11
3. def OAI.UniqueGames.Integration.BinaryCoordinates.unpack line 15
4. theorem OAI.UniqueGames.Integration.BinaryCoordinates.pack_get line 18
5. theorem OAI.UniqueGames.Integration.BinaryCoordinates.unpack_pack line 27
6. theorem OAI.UniqueGames.Integration.BinaryCoordinates.pack_unpack line 31
7. theorem OAI.UniqueGames.Integration.BinaryCoordinates.unpack_injective line 36
8. theorem OAI.UniqueGames.Integration.BinaryCoordinates.pack_injective line 41
9. theorem OAI.UniqueGames.Integration.BinaryCoordinates.unpack_xor line 46
10. theorem OAI.UniqueGames.Integration.BinaryCoordinates.pack_xor line 51
11. theorem OAI.UniqueGames.Integration.BinaryCoordinates.unpack_zero line 56
12. theorem OAI.UniqueGames.Integration.BinaryCoordinates.pack_zero line 60