OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros63.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4034 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4035 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4036 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4037 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4038 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4040 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4044 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero4048 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero4049 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero4052 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero4054 line 71
12. theorem OAI.MUB6.Certificate.MixedSemantics.zero4055 line 77
13. theorem OAI.MUB6.Certificate.MixedSemantics.zero4095 line 83