OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros85.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MUB6.Certificate.MixedSemantics.zero5440 line 11
  2. theorem OAI.MUB6.Certificate.MixedSemantics.zero5441 line 17
  3. theorem OAI.MUB6.Certificate.MixedSemantics.zero5442 line 23
  4. theorem OAI.MUB6.Certificate.MixedSemantics.zero5454 line 29
  5. theorem OAI.MUB6.Certificate.MixedSemantics.zero5455 line 35
  6. theorem OAI.MUB6.Certificate.MixedSemantics.zero5457 line 41
  7. theorem OAI.MUB6.Certificate.MixedSemantics.zero5458 line 47
  8. theorem OAI.MUB6.Certificate.MixedSemantics.zero5459 line 53
  9. theorem OAI.MUB6.Certificate.MixedSemantics.zero5460 line 59
  10. theorem OAI.MUB6.Certificate.MixedSemantics.zero5462 line 65
  11. theorem OAI.MUB6.Certificate.MixedSemantics.zero5468 line 71
  12. theorem OAI.MUB6.Certificate.MixedSemantics.zero5471 line 77
  13. theorem OAI.MUB6.Certificate.MixedSemantics.zero5474 line 83
  14. theorem OAI.MUB6.Certificate.MixedSemantics.zero5477 line 89
  15. theorem OAI.MUB6.Certificate.MixedSemantics.zero5479 line 95
  16. theorem OAI.MUB6.Certificate.MixedSemantics.zero5481 line 101
  17. theorem OAI.MUB6.Certificate.MixedSemantics.zero5486 line 107
  18. theorem OAI.MUB6.Certificate.MixedSemantics.zero5487 line 113
  19. theorem OAI.MUB6.Certificate.MixedSemantics.zero5488 line 119
  20. theorem OAI.MUB6.Certificate.MixedSemantics.zero5489 line 125
  21. theorem OAI.MUB6.Certificate.MixedSemantics.zero5493 line 131
  22. theorem OAI.MUB6.Certificate.MixedSemantics.zero5495 line 137
  23. theorem OAI.MUB6.Certificate.MixedSemantics.zero5496 line 143
  24. theorem OAI.MUB6.Certificate.MixedSemantics.zero5497 line 149
  25. theorem OAI.MUB6.Certificate.MixedSemantics.zero5499 line 155
  26. theorem OAI.MUB6.Certificate.MixedSemantics.zero5501 line 161