OAI/Combinatorics/ParityLifts/UniformLeaf.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ParityWL.Complexity.TagPair line 7
  2. abbrev OAI.ParityWL.Complexity.RawLeafPreparation line 8
  3. abbrev OAI.ParityWL.Complexity.RawLeafTable line 9
  4. def OAI.ParityWL.Complexity.ParamPolyProgram.tags line 11
  5. def OAI.ParityWL.Complexity.ParamPolyProgram.rawPreparation line 22
  6. def OAI.ParityWL.Complexity.TreeProgram.addWords line 29
  7. def OAI.ParityWL.Complexity.PolyProgram.rawWordsOutput line 33
  8. def OAI.ParityWL.Complexity.uniformLeafOutput line 41
  9. def OAI.ParityWL.Complexity.TreeProgram.uniformLeafOutput line 44
  10. lemma OAI.ParityWL.Complexity.addWords_time line 49
  11. lemma OAI.ParityWL.Complexity.addWords_size line 54
  12. theorem OAI.ParityWL.Complexity.uniformLeafOutput_bound line 62
  13. theorem OAI.ParityWL.Complexity.uniformLeafOutput_spec line 92