OAI/Computability/QuantumFactoring/NetworkAt.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ExactQuantumFactoring.NetworkAt line 15
  2. lemma OAI.ExactQuantumFactoring.NetworkAt.select line 19
  3. lemma OAI.ExactQuantumFactoring.NetworkAt.comp line 21
  4. lemma OAI.ExactQuantumFactoring.NetworkAt.pair line 24
  5. lemma OAI.ExactQuantumFactoring.NetworkAt.rewire line 27
  6. lemma OAI.ExactQuantumFactoring.NetworkAt.constant line 30
  7. lemma OAI.ExactQuantumFactoring.NetworkAt.of_le line 32
  8. lemma OAI.ExactQuantumFactoring.NetworkAt.bnot line 34
  9. lemma OAI.ExactQuantumFactoring.NetworkAt.band line 37
  10. lemma OAI.ExactQuantumFactoring.NetworkAt.bor line 40
  11. lemma OAI.ExactQuantumFactoring.NetworkAt.wordConstant line 43
  12. lemma OAI.ExactQuantumFactoring.NetworkAt.zeroWord line 46
  13. lemma OAI.ExactQuantumFactoring.NetworkAt.equalOn line 50
  14. lemma OAI.ExactQuantumFactoring.NetworkAt.resizeWord line 54
  15. lemma OAI.ExactQuantumFactoring.NetworkAt.all line 60
  16. lemma OAI.ExactQuantumFactoring.NetworkAt.all_ofFn line 67
  17. lemma OAI.ExactQuantumFactoring.NetworkAt.pull line 76
  18. lemma OAI.ExactQuantumFactoring.NetworkAt.ofPoly line 78