OAI/Analysis/MutuallyUnbiased/PairSources/Rows15.lean

GitHub source file

30 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck240 line 9
  2. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound240 line 12
  3. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck241 line 19
  4. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound241 line 22
  5. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck242 line 29
  6. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound242 line 32
  7. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck243 line 39
  8. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound243 line 42
  9. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck244 line 49
  10. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound244 line 52
  11. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck245 line 59
  12. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound245 line 62
  13. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck246 line 69
  14. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound246 line 72
  15. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck247 line 79
  16. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound247 line 82
  17. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck248 line 89
  18. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound248 line 92
  19. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck249 line 99
  20. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound249 line 102
  21. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck250 line 109
  22. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound250 line 112
  23. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck251 line 119
  24. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound251 line 122
  25. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck252 line 129
  26. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound252 line 132
  27. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck253 line 139
  28. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound253 line 142
  29. theorem OAI.MUB6.Certificate.PairSourceBridge.rowCheck254 line 149
  30. theorem OAI.MUB6.Certificate.PairSourceBridge.rowSound254 line 152