OAI/Combinatorics/ParityLifts/UniformVertices.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ParityWL.Complexity.tagCharge_false line 8
  2. lemma OAI.ParityWL.Complexity.tagCharge_true line 12
  3. lemma OAI.ParityWL.Complexity.bit_eq_iff_one line 29
  4. def OAI.ParityWL.Complexity.rawTagTest line 33
  5. lemma OAI.ParityWL.Complexity.rawTagTest_encode line 36
  6. abbrev OAI.ParityWL.Complexity.RawVertex line 49
  7. def OAI.ParityWL.Complexity.rawVertices line 51
  8. lemma OAI.ParityWL.Complexity.mem_rawVertices line 54
  9. lemma OAI.ParityWL.Complexity.rawVertices_nodup line 65
  10. def OAI.ParityWL.Complexity.rawVertexEncode line 77
  11. lemma OAI.ParityWL.Complexity.rawVertexEncode_mem line 81
  12. lemma OAI.ParityWL.Complexity.rawVertexEncode_injective line 90
  13. def OAI.ParityWL.Complexity.rawVertexEquiv line 100
  14. def OAI.ParityWL.Complexity.rawIndexEquiv line 117
  15. def OAI.ParityWL.Complexity.rawIndexedGraph line 123
  16. def OAI.ParityWL.Complexity.rawIndexedIso line 128
  17. def OAI.ParityWL.Complexity.rawEdgeTest line 132
  18. lemma OAI.ParityWL.Complexity.rawEdgeTest_encode line 135