OAI/Computability/QuantumFactoring/NetworkEmissionRewire.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ExactQuantumFactoring.NetworkEmission.rewireBy line 14
  2. lemma OAI.ExactQuantumFactoring.NetworkEmission.rewireBy_valid line 16
  3. lemma OAI.ExactQuantumFactoring.NetworkEmission.rewireBy_mass line 21
  4. lemma OAI.ExactQuantumFactoring.NetworkEmission.erase_rewireBy line 23
  5. def OAI.ExactQuantumFactoring.NetworkEmission.rewirePack line 33
  6. lemma OAI.ExactQuantumFactoring.NetworkEmission.rewirePack_value line 36
  7. def OAI.ExactQuantumFactoring.NetworkEmission.identityPack line 41
  8. lemma OAI.ExactQuantumFactoring.NetworkEmission.identityPack_value line 42
  9. def OAI.ExactQuantumFactoring.NetworkEmission.assignPack line 48
  10. lemma OAI.ExactQuantumFactoring.NetworkEmission.assignPack_value line 50
  11. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.rewireByP line 67
  12. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.rewirePackP line 75
  13. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.rangeP line 82
  14. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.identityPackP line 86
  15. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.assignPackP line 90