OAI/Analysis/MutuallyUnbiased/PairSources/Rows4.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck64 line 9
  2. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound64 line 12
  3. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck65 line 19
  4. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound65 line 22
  5. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck66 line 29
  6. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound66 line 32
  7. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck67 line 39
  8. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound67 line 42
  9. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck68 line 49
  10. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound68 line 52
  11. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck69 line 59
  12. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound69 line 62
  13. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck70 line 69
  14. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound70 line 72
  15. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck71 line 79
  16. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound71 line 82
  17. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck72 line 89
  18. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound72 line 92
  19. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck73 line 99
  20. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound73 line 102
  21. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck74 line 109
  22. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound74 line 112
  23. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck75 line 119
  24. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound75 line 122
  25. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck76 line 129
  26. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound76 line 132
  27. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck77 line 139
  28. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound77 line 142
  29. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck78 line 149
  30. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound78 line 152
  31. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck79 line 159
  32. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound79 line 162