OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros61.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MUB6.Certificate.MixedSemantics.zero3904 line 11
  2. theorem OAI.MUB6.Certificate.MixedSemantics.zero3905 line 17
  3. theorem OAI.MUB6.Certificate.MixedSemantics.zero3908 line 23
  4. theorem OAI.MUB6.Certificate.MixedSemantics.zero3914 line 29
  5. theorem OAI.MUB6.Certificate.MixedSemantics.zero3917 line 35
  6. theorem OAI.MUB6.Certificate.MixedSemantics.zero3920 line 41
  7. theorem OAI.MUB6.Certificate.MixedSemantics.zero3921 line 47
  8. theorem OAI.MUB6.Certificate.MixedSemantics.zero3923 line 53
  9. theorem OAI.MUB6.Certificate.MixedSemantics.zero3928 line 59
  10. theorem OAI.MUB6.Certificate.MixedSemantics.zero3940 line 65
  11. theorem OAI.MUB6.Certificate.MixedSemantics.zero3941 line 71
  12. theorem OAI.MUB6.Certificate.MixedSemantics.zero3944 line 77
  13. theorem OAI.MUB6.Certificate.MixedSemantics.zero3950 line 83
  14. theorem OAI.MUB6.Certificate.MixedSemantics.zero3951 line 89
  15. theorem OAI.MUB6.Certificate.MixedSemantics.zero3953 line 95
  16. theorem OAI.MUB6.Certificate.MixedSemantics.zero3956 line 101
  17. theorem OAI.MUB6.Certificate.MixedSemantics.zero3962 line 107