OAI/Combinatorics/IndependentSets/Expansion/PreprocessingPaddingOffsets.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingPaddingOffsets.idxOf_map_injective line 11
2. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingPaddingOffsets.sigma_idxOf line 21
3. def OAI.IndependentSetsGames.Foundations.PCP.PreprocessingPaddingOffsets.offset line 48
4. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingPaddingOffsets.sigma_length line 51
5. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingPaddingOffsets.paddingOrder_val line 57
6. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingPaddingOffsets.vertexOrder_dummy_val line 65
7. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingPaddingOffsets.offset_zero line 72
8. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingPaddingOffsets.offset_all line 75