OAI/Computability/VertexCover/Repetition/Completion.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGames.Foundations.Repetition.normalizeOr line 49
2. theorem OAI.UniqueGames.Foundations.Repetition.sum_mul_normalizeOr line 57
3. theorem OAI.UniqueGames.Foundations.Repetition.local_completion_recombination line 72
4. theorem OAI.UniqueGames.Foundations.Repetition.factorized_completion_row line 85