OAI/Combinatorics/ParityLifts/Words.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.Complexity.wordsStep line 7
  2. def OAI.ParityWL.Complexity.words line 10
  3. lemma OAI.ParityWL.Complexity.mem_words line 14
  4. lemma OAI.ParityWL.Complexity.length_words line 22
  5. lemma OAI.ParityWL.Complexity.bool_list_size line 27
  6. lemma OAI.ParityWL.Complexity.words_size line 32
  7. def OAI.ParityWL.Complexity.PolyProgram.wordsStep line 42
  8. lemma OAI.ParityWL.Complexity.fold_wordsStep line 47
  9. lemma OAI.ParityWL.Complexity.TreeProgram.congr_time line 58
  10. def OAI.ParityWL.Complexity.TreeProgram.words line 64
  11. lemma OAI.ParityWL.Complexity.word_stage_size line 72
  12. lemma OAI.ParityWL.Complexity.TreeProgram.words_bound line 84