OAI/Analysis/MutuallyUnbiased/MixedSemantics/SoundPriority.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MUB6.Certificate.MixedSemantics.sound420 line 29
  2. theorem OAI.MUB6.Certificate.MixedSemantics.sound496 line 36
  3. theorem OAI.MUB6.Certificate.MixedSemantics.sound505 line 43
  4. theorem OAI.MUB6.Certificate.MixedSemantics.sound2279 line 50
  5. theorem OAI.MUB6.Certificate.MixedSemantics.sound2281 line 56
  6. theorem OAI.MUB6.Certificate.MixedSemantics.sound2294 line 62
  7. theorem OAI.MUB6.Certificate.MixedSemantics.sound2788 line 68
  8. theorem OAI.MUB6.Certificate.MixedSemantics.sound3054 line 76
  9. theorem OAI.MUB6.Certificate.MixedSemantics.sound3626 line 82
  10. theorem OAI.MUB6.Certificate.MixedSemantics.sound3633 line 88
  11. theorem OAI.MUB6.Certificate.MixedSemantics.sound3814 line 94
  12. theorem OAI.MUB6.Certificate.MixedSemantics.sound3862 line 100
  13. theorem OAI.MUB6.Certificate.MixedSemantics.sound3907 line 108
  14. theorem OAI.MUB6.Certificate.MixedSemantics.sound3912 line 114
  15. theorem OAI.MUB6.Certificate.MixedSemantics.sound4898 line 122
  16. theorem OAI.MUB6.Certificate.MixedSemantics.sound4899 line 130
  17. theorem OAI.MUB6.Certificate.MixedSemantics.sound5302 line 138
  18. theorem OAI.MUB6.Certificate.MixedSemantics.sound5310 line 146
  19. theorem OAI.MUB6.Certificate.MixedSemantics.sound5412 line 154
  20. theorem OAI.MUB6.Certificate.MixedSemantics.sound5443 line 162
  21. theorem OAI.MUB6.Certificate.MixedSemantics.sound5453 line 170
  22. theorem OAI.MUB6.Certificate.MixedSemantics.sound5455 line 178