OAI/Combinatorics/ParityLifts/UniformTables.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ParityWL.Complexity.map_range_ofFn line 7
  2. abbrev OAI.ParityWL.Complexity.RawTableInput line 14
  3. def OAI.ParityWL.Complexity.rawPairKey line 16
  4. lemma OAI.ParityWL.Complexity.rawPairKey_ofFn line 22
  5. def OAI.ParityWL.Complexity.rawRowKey line 30
  6. def OAI.ParityWL.Complexity.rawDomain line 33
  7. def OAI.ParityWL.Complexity.rawChoiceWithWords line 37
  8. lemma OAI.ParityWL.Complexity.rawChoiceWithWords_ofFn line 41
  9. def OAI.ParityWL.Complexity.rawGroups line 58
  10. lemma OAI.ParityWL.Complexity.rawGroups_ofFn line 61
  11. def OAI.ParityWL.Complexity.rawLeafData line 65
  12. lemma OAI.ParityWL.Complexity.rawLeafData_eq line 68