OAI/Analysis/MutuallyUnbiased/PairSources/Rows1.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck16 line 8
  2. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound16 line 11
  3. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck17 line 18
  4. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound17 line 21
  5. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck18 line 28
  6. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound18 line 31
  7. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck19 line 38
  8. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound19 line 41
  9. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck20 line 48
  10. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound20 line 51
  11. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck21 line 58
  12. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound21 line 61
  13. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck22 line 68
  14. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound22 line 71
  15. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck23 line 78
  16. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound23 line 81
  17. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck24 line 88
  18. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound24 line 91
  19. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck25 line 98
  20. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound25 line 101
  21. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck26 line 108
  22. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound26 line 111
  23. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck27 line 118
  24. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound27 line 121
  25. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck28 line 128
  26. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound28 line 131
  27. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck29 line 138
  28. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound29 line 141
  29. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck30 line 148
  30. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound30 line 151
  31. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck31 line 158
  32. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound31 line 161