OAI/Analysis/MutuallyUnbiased/PairSources/Rows5.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck80 line 9
  2. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound80 line 12
  3. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck81 line 19
  4. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound81 line 22
  5. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck82 line 29
  6. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound82 line 32
  7. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck83 line 39
  8. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound83 line 42
  9. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck84 line 49
  10. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound84 line 52
  11. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck85 line 59
  12. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound85 line 62
  13. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck86 line 69
  14. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound86 line 72
  15. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck87 line 79
  16. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound87 line 82
  17. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck88 line 89
  18. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound88 line 92
  19. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck89 line 99
  20. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound89 line 102
  21. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck90 line 109
  22. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound90 line 112
  23. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck91 line 119
  24. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound91 line 122
  25. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck92 line 129
  26. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound92 line 132
  27. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck93 line 139
  28. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound93 line 142
  29. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck94 line 149
  30. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound94 line 152
  31. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck95 line 159
  32. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound95 line 162