OAI/Combinatorics/ParityLifts/BitGrouping.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParityWL.Complexity.chunkWidth line 7
2. def OAI.ParityWL.Complexity.bitGroup line 9
3. lemma OAI.ParityWL.Complexity.length_le_width_mul line 12
4. lemma OAI.ParityWL.Complexity.bitGroup_subset line 18
5. lemma OAI.ParityWL.Complexity.mem_bitGroup_cover line 21
6. lemma OAI.ParityWL.Complexity.bitGroup_sat line 41
7. lemma OAI.ParityWL.Complexity.names_length_le line 50
8. lemma OAI.ParityWL.Complexity.group_names_length line 60
9. def OAI.ParityWL.Complexity.PolyProgram.chunkWidth line 66
10. def OAI.ParityWL.Complexity.PolyProgram.bitGroup line 70
11. def OAI.ParityWL.Complexity.PolyProgram.bitGroups line 78