OAI/Computability/MinUncut/PCP/PreprocessingPaddingOffsets.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingPaddingOffsets.idxOf_map_injective line 12
2. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingPaddingOffsets.sigma_idxOf line 22
3. def OAI.MinUncutGames.Foundations.PCP.PreprocessingPaddingOffsets.offset line 49
4. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingPaddingOffsets.sigma_length line 52
5. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingPaddingOffsets.paddingOrder_val line 58
6. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingPaddingOffsets.vertexOrder_dummy_val line 66
7. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingPaddingOffsets.offset_zero line 73
8. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingPaddingOffsets.offset_all line 76