OAI/Combinatorics/ParityLifts/UniformBasics.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.Complexity.TreeProgram.mapWith line 7
  2. def OAI.ParityWL.Complexity.TreeProgram.map line 22
  3. def OAI.ParityWL.Complexity.TreeProgram.sublists line 27
  4. def OAI.ParityWL.Complexity.PolyProgram.product line 45
  5. def OAI.ParityWL.Complexity.PolyProgram.natLt line 53
  6. def OAI.ParityWL.Complexity.PolyProgram.natModTwo line 57
  7. def OAI.ParityWL.Complexity.PolyProgram.natDiv line 61