OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros10.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero666 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero667 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero669 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero672 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero673 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero687 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero688 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero689 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero691 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero693 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero696 line 71
12. theorem OAI.MUB6.Certificate.MixedSemantics.zero697 line 77