OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros13.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MUB6.Certificate.MixedSemantics.zero850 line 11
  2. theorem OAI.MUB6.Certificate.MixedSemantics.zero851 line 17
  3. theorem OAI.MUB6.Certificate.MixedSemantics.zero852 line 23
  4. theorem OAI.MUB6.Certificate.MixedSemantics.zero855 line 29
  5. theorem OAI.MUB6.Certificate.MixedSemantics.zero856 line 35
  6. theorem OAI.MUB6.Certificate.MixedSemantics.zero859 line 41
  7. theorem OAI.MUB6.Certificate.MixedSemantics.zero863 line 47
  8. theorem OAI.MUB6.Certificate.MixedSemantics.zero878 line 53
  9. theorem OAI.MUB6.Certificate.MixedSemantics.zero880 line 59
  10. theorem OAI.MUB6.Certificate.MixedSemantics.zero883 line 65
  11. theorem OAI.MUB6.Certificate.MixedSemantics.zero884 line 71
  12. theorem OAI.MUB6.Certificate.MixedSemantics.zero886 line 77
  13. theorem OAI.MUB6.Certificate.MixedSemantics.zero889 line 83
  14. theorem OAI.MUB6.Certificate.MixedSemantics.zero890 line 89
  15. theorem OAI.MUB6.Certificate.MixedSemantics.zero895 line 95