OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros64.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4097 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4117 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4118 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4120 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4123 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4124 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4125 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero4127 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero4130 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero4131 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero4136 line 71
12. theorem OAI.MUB6.Certificate.MixedSemantics.zero4137 line 77