OAI/Combinatorics/IndependentSets/Encoding/BinaryCoordinates.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.IndependentSetsGames.Integration.BinaryCoordinates.Coordinates line 7
2. def OAI.IndependentSetsGames.Integration.BinaryCoordinates.pack line 9
3. def OAI.IndependentSetsGames.Integration.BinaryCoordinates.unpack line 13
4. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.pack_get line 16
5. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.unpack_pack line 25
6. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.pack_unpack line 29
7. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.unpack_injective line 34
8. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.pack_injective line 39
9. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.unpack_xor line 44
10. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.pack_xor line 49
11. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.unpack_zero line 54
12. theorem OAI.IndependentSetsGames.Integration.BinaryCoordinates.pack_zero line 58