OAI/Combinatorics/ParityLifts/Interpolation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParityWL.color_indicator_mem_of_separation line 13
2. lemma OAI.ParityWL.count_map_as_sum line 49
3. def OAI.ParityWL.replacementSum line 68
4. lemma OAI.ParityWL.insertNth_comp_succAbove line 73
5. lemma OAI.ParityWL.testSpan_replacementSum line 78
6. def OAI.ParityWL.replaceEmbedding line 99
7. lemma OAI.ParityWL.insertNth_replaceEmbedding line 102
8. def OAI.ParityWL.jointReplacementSum line 111
9. lemma OAI.ParityWL.testSpan_jointReplacementSum line 116