OAI/Computability/QuantumFactoring/NetworkEmissionVector.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ExactQuantumFactoring.NetworkEmission.emptyAt line 14
  2. def OAI.ExactQuantumFactoring.NetworkEmission.bitPack line 15
  3. def OAI.ExactQuantumFactoring.NetworkEmission.constantPack line 16
  4. def OAI.ExactQuantumFactoring.NetworkEmission.bnotPack line 17
  5. def OAI.ExactQuantumFactoring.NetworkEmission.bandPack line 18
  6. def OAI.ExactQuantumFactoring.NetworkEmission.vectorPack line 19
  7. lemma OAI.ExactQuantumFactoring.NetworkEmission.vectorPack_inputs line 20
  8. lemma OAI.ExactQuantumFactoring.NetworkEmission.vectorPack_value line 27
  9. lemma OAI.ExactQuantumFactoring.NetworkEmission.bitPack_value line 39
  10. lemma OAI.ExactQuantumFactoring.NetworkEmission.constantPack_value line 42
  11. lemma OAI.ExactQuantumFactoring.NetworkEmission.bnotPack_value line 44
  12. lemma OAI.ExactQuantumFactoring.NetworkEmission.bandPack_value line 49
  13. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.emptyAtP line 59
  14. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.bitPackP line 62
  15. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.constantPackP line 76
  16. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.bnotPackP line 81
  17. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.bandPackP line 83
  18. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.vectorPackP line 85