OAI/Combinatorics/IndependentSets/Encoding/Completion.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IndependentSetsGames.Foundations.Repetition.normalizeOr line 16
2. theorem OAI.IndependentSetsGames.Foundations.Repetition.sum_mul_normalizeOr line 24
3. theorem OAI.IndependentSetsGames.Foundations.Repetition.local_completion_recombination line 39
4. theorem OAI.IndependentSetsGames.Foundations.Repetition.factorized_completion_row line 52