OAI/Combinatorics/IndependentSets/Encoding/Encoding.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.IndependentSetsGames.Reduction.SourceEncoding.Input line 11
  2. abbrev OAI.IndependentSetsGames.Reduction.SourceEncoding.Table line 16
  3. def OAI.IndependentSetsGames.Reduction.SourceEncoding.equationWords line 18
  4. def OAI.IndependentSetsGames.Reduction.SourceEncoding.inputWords line 21
  5. def OAI.IndependentSetsGames.Reduction.SourceEncoding.inputBits line 24
  6. def OAI.IndependentSetsGames.Reduction.SourceEncoding.parseEquation line 26
  7. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.parseEquation_encoded line 42
  8. def OAI.IndependentSetsGames.Reduction.SourceEncoding.parseEquations line 49
  9. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.parseEquations_encoded line 57
  10. def OAI.IndependentSetsGames.Reduction.SourceEncoding.decodeInputWords line 66
  11. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.decodeInputWords_encoded line 76
  12. def OAI.IndependentSetsGames.Reduction.SourceEncoding.decodeInputBits line 85
  13. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.decodeInputBits_encoded line 88
  14. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.inputWords_injective line 92
  15. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.inputBits_injective line 97
  16. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.equationWords_length line 102
  17. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.equationsWords_length line 105
  18. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.inputWords_length line 114
  19. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.equationBits_length_le line 119
  20. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.equationsBits_length_le line 126
  21. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.inputBits_length line 137
  22. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.inputBits_length_le line 144
  23. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.inputBits_length_ge_variables line 150
  24. theorem OAI.IndependentSetsGames.Reduction.SourceEncoding.inputBits_length_ge_equations line 153